*** 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 ... Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev