[isabelle-dev] NEWS: refined folding mode "isabelle"

Makarius makarius at sketis.net
Tue Jul 12 17:28:43 CEST 2016

Previous message (by thread): [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax
Next message (by thread): [isabelle-dev] Use HTTPS for components
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

* Refined folding mode "isabelle" based on Isar syntax: 'next' and 'qed'
are treated as delimiters for fold structure.


This refers to Isabelle/f10feaa9b14a.


	Makarius

Previous message (by thread): [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax
Next message (by thread): [isabelle-dev] Use HTTPS for components
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list