isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip

discontinued unused end_line, end_column;
2011-01-09, by wenzelm
more scalable HTML.output_width;
2011-01-09, by wenzelm
refined comment (again);
2011-01-09, by wenzelm
merged
2011-01-08, by huffman
use proper syntactic types for 'syntax' commands
2011-01-08, by huffman
make print translation for Abs_cfun consistent with other binders: prevent eta-contraction, but don't force eta-expansion
2011-01-08, by huffman
use full path for library imports
2011-01-08, by huffman
types -> type_synonym
2011-01-08, by huffman
updated NEOS_SERVER, which is now provided via settings;
2011-01-08, by wenzelm
renamed Sum_Of_Squares to Sum_of_Squares;
2011-01-08, by wenzelm
Ord_List.merge convenience;
2011-01-08, by wenzelm
misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
2011-01-08, by wenzelm
modernized structure Prop_Logic;
2011-01-08, by wenzelm
added Context_Position.is_visible_proof, which treats a global theory as invisible (unlike the default);
2011-01-08, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle