Email Gateway (Dec 18 2020 at 10:40): Email Gateway (Dec 18 2020 at 10:40):From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *
Action "isabelle.goto-entity" (shortcut CS+d) jumps to the definition
of the formal entity at the caret position.
The visual feedback on caret entity focus is normally restricted to
definitions within the visible text area. The keyboard modifier "CS"
overrides this: then all defining and referencing positions are shown.
See also option "jedit_focus_modifier".
This refers to Isabelle/f7954a960890.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Dec 18 2020 at 11:02):From: Lawrence Paulson <lp15@cam.ac.uk>
I wish that some inspired student would put together a demo video or perhaps implement a “tip of the day” feature, because there are many many things (this will be yet another one) that are super useful almost impossible to discover. Your little trick for renaming bound variables is another; you demonstrated it to me but who could find it for himself?
Larry
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Dec 18 2020 at 11:11):From: Makarius <makarius@sketis.net>
Making videos is technically easy with OBS Studio (all platforms), but it
requires some work in producing a proper script and doing the performance well.
Moreover, videos need to be updated occasionally. I find it already difficult
to update the few screenshots in the Isabelle/jEdit manual (each could be a
short video sequence instead).
Maybe as a start, we can do live video sessions, something like informal
Isabelle workshops or tutorials.
I have already my own servers running: 2 Jitsi-Meet and 1 BigBlueButton, and
ran some small sessions quite successfully in the past few weeks.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Jul 15 2022 at 23:21 UTC