*** Prover IDE -- Isabelle/Scala/jEdit ***
* Improved folding mode "isabelle" based on Isar syntax.
Alternatively, the "sidekick" mode may be used for document structure.
This refers to Isabelle/6001375db251. More things could be done, now that
this old can is opened again.
Makarius
----------------------------------------------------------------------------
http://stop-ttip.org
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
