Just for the record:
* Topological_Spaces.subseq has already been present before 2007 in
HOL/Hyperreal/SEQ.thy (cf. eb85850d3eb7)
* strict_mono has entered in 2009, see abefe1dfadbb
Hence we have the typical situation that a generalized constant subsumes
a more ancient unconsciously.
Cheers,
*** General ***
* Experimental support for Visual Studio Code (VSCode) as alternative
Isabelle/PIDE front-end, see also
https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
VSCode is a new type of application that continues the concepts of
"programmer's editor" and "integrated
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
