[isabelle-dev] NEWS: Isabelle/jEdit (19e1c6e922b6)

Makarius makarius at sketis.net
Tue Sep 6 21:58:25 CEST 2011

* Improved Isabelle/jEdit Prover IDE (PIDE), which can be invoked as
"isabelle jedit" on the command line.

   . Management of multiple theory files directly from the editor
     buffer store -- bypassing the file-system (no requirement to save
     files for checking).

   . Markup of formal entities within the text buffer, with semantic
     highlighting, tooltips and hyperlinks to jump to defining source

   . Refined scheduling of proof checking and printing of results,
     based on interactive editor view.  (Note: jEdit folding and
     narrowing allows to restrict buffer perspectives explicitly.)

   . Reduced CPU performance requirements, usable on machines with few

   . Reduced memory requirements due to pruning of unused document
     versions (garbage collection).

See also ~~/src/Tools/jEdit/README.html for further information,
including some remaining limitations.

More information about the isabelle-dev mailing list