Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- Used existing 0 an + definitions for functions (thanks to Alexander Maletzky)
- adapted to de-facto build time;
The file was modified | thys/Rank_Nullity_Theorem/Miscellaneous.thy |
The file was modified | thys/Ordinary_Differential_Equations/ROOT |
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- proper deps;
- allow unrelated ancestor; clarified error;
- tuned;
- support alternative ancestor session;
- support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
The file was modified | src/Pure/Thy/sessions.scala |
The file was modified | NEWS |
The file was modified | src/Pure/Thy/sessions.scala |
The file was modified | src/Pure/ML/ml_console.scala |
The file was modified | src/Tools/VSCode/src/grammar.scala |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala |
The file was modified | NEWS |
The file was modified | src/Doc/JEdit/JEdit.thy |
The file was modified | src/Pure/Thy/sessions.scala |
The file was modified | src/Tools/jEdit/lib/Tools/jedit |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala |
The file was modified | NEWS |
The file was modified | src/Doc/JEdit/JEdit.thy |
The file was modified | src/Pure/Thy/sessions.scala |
The file was modified | src/Tools/jEdit/lib/Tools/jedit |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala |