Small screenshots for MMT main page

florian-rabe commented 6 years ago

The landing page at uniformal.github.io has a good structure but lacks visuals.

Our original idea was to put little visuals (e.g., screenshots) for each into the center. I still like that idea, we just have to make the screenshots.

florian-rabe commented 6 years ago

Let's seriously attack this and compile a list of screenshots.

Dennis suggested a big picture of a graph as the main background. I like it. Ideally a graph of everything we have. It's enough if it's barely legible. Maybe we can use the graph viewer to arrange the graph in such a way that an area in the middle is rather empty to put some text and buttons there.

Here are some first ideas for small screenshots. Please edit/comment.

They should all have the same size. We have to think about which size works best.

Narration: mmt-like content in stex
Deduction: jEdit showing context-sensitive auto-completion options
Computation: jEdit showing something abut a rewrite-rule-based function
Tabulation: something about LMFDb in MMT, maybe a jEdit screenshot connecting to LMFDb?
Representation: jEdit showing the module system, maybe a close up from the graph showing a view or Ring
Applications: something about ODK system integration. But how to do it in a small picture?
Soundness: a jEdit screenshot showing a typing error
Scalability: multiple options
- MWS search results
- MMT shell with a command about building
- MathHub listing lots of libraries

tkw1536 commented 6 years ago

I have added a screenshot from the graph viewer as the main background of the new page [1]. As it resizes dynamically with window size, I have taken it in the highest resolution I had available. Furthermore, I gave the text on top of the image a slight white background, so that graph does not prevent that text from being read.

I would appreciate feedback and other ideas.

[1] https://uniformal.github.io/new/

kohlhase commented 6 years ago

Tabulation: table with integrals or screenshot from glossary

Foundation-independent: tetrapod

kohlhase commented 6 years ago

here is one for tabulation

lambdaTotoro commented 4 years ago

In the interest of maybe ever closing this ticket, I think we should try to get this done soon-ish. The website still looks a bit barren and a few screenshots shouldn't be too difficult.

Here's one for soundness, I type error I cropped from the IntelliJ plugin. is this roughly what we had in mind?

snip_soundness

@kohlhase I only see a generic PDF image in your last post?

tkw1536 commented 4 years ago

We should actually start adding the images to https://github.com/UniFormal/uniformal.github.io/blob/master/index.html.

UniFormal / MMT

Small screenshots for MMT main page #254