[isabelle-dev] NEWS: PIDE markup for session ROOT files

Makarius makarius at sketis.net
Sat Dec 16 22:57:05 CET 2017

*** Prover IDE -- Isabelle/Scala/jEdit ***

* PIDE markup for session ROOT files: allows to complete session names,
follow links to theories and document files etc.

This refers to Isabelle/62a5fbdded50. As for ROOT.ML, a ROOT file is
turned into a special theory -- with a special 'session' command to
produce the markup.

At last we can write 'description' entries with spell-checker ...


More information about the isabelle-dev mailing list