On 06.02.2018 17:31, Tobias Nipkow wrote:
This concerns only the inner syntax, where comments are rare. We should
not give up the outer (* *) comments for something less convenient.
Informal outer comments are not going to disappear.
That means that users who don't have a formal meaning of
On 01.07.17 20:46, Christian Sternagel wrote:
It only took me some time to find the OUTPUT "panel" (View ~> Output) ;)
That is a plain-text channel of VSCode.
There is also a "State" panel that imitates the dockable of the same
name in Isabelle/jEdit. You will get to that via the
On 17/02/2017 22:41, Makarius wrote:
With Isabelle/42b92fa72a51 we are on a pre-release version of Poly/ML
5.7. David Matthews is about to converge to a release.
There are various changes in the runtime system, and a few ones in the
compiler (more PIDE markup). For example, local identifier