Hi Glauco I installed yamma a few days ago and I was actually looking for a tutorial, so this comes in handy.
> I've uploaded a small video (it's still private). The privacy setting doesn't allow me to watch it. I suppose this is temporary? Il giorno domenica 10 marzo 2024 alle 17:47:43 UTC+1 Glauco ha scritto: > I forgot ctrl+shift+p (invokes the VSCode command palette where you also > see some yamma specific commands, for instance "Unify + Store in MMT > folder") > > With a right click in a .mmp file, you will see a list of all the > available commands > > Il giorno domenica 10 marzo 2024 alle 17:34:16 UTC+1 Glauco ha scritto: > >> I've uploaded a small video (it's still private). >> >> No audio, for now. The resolution at full screen is not great (it is my >> first YouTube upload. Locally, the .webm video looks much better) >> >> The video assumes you are familiar with mmj2 >> >> It mainly shows diagnostics, syntax suggestions and step suggestions (and >> step derivation, but this is like in mmj2) >> >> Here are a list of shortcuts used in the video (VSCode in Ubuntu): >> >> ctrl+n (new file) >> ctrl+s (save file) >> ctrl+z (undo) >> ctrl+u (unify) >> ctrl+n (unify and renumber) >> ctrl+space (trigger step suggestions) >> downarrow and uparrow (navigate through completion items) >> tab (select current completion item and unify) >> >> Here's the link >> https://youtu.be/N7W0VBsbOcQ >> >> -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/5e9c5efb-941f-4d08-9531-3e73a8a9f521n%40googlegroups.com.
