Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/options
changeset 71940 026de3424c39
parent 71877 f5dd0abd49d1
child 71960 6a64205b491a 
--- a/etc/options	Wed Jun 17 19:46:50 2020 +0200
+++ b/etc/options	Wed Jun 17 20:42:52 2020 +0200
@@ -150,7 +150,7 @@
 
 section "PIDE Build"
 
-option pide_session : bool = false
+option pide_session : bool = true
   -- "build session heaps via PIDE"
 
 option pide_reports : bool = true
isabelle