Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
made SML/NJ happy;
2011-01-10, by wenzelm
added merge_options convenience;
2011-01-10, by wenzelm
tuned string_of_int to avoid allocation for small integers;
2011-01-10, by wenzelm
eliminated Int.toString;
2011-01-10, by wenzelm
eliminated obsolete LargeInt -- Int is unbounded;
2011-01-10, by wenzelm
standardized split_last/last_elem towards List.last;
2011-01-10, by wenzelm
removing dead code; tuned
2011-01-10, by bulwahn
made SML/NJ happy
2011-01-10, by bulwahn
reverted 08240feb69c7 -- breaks positions of reports;
2011-01-09, by wenzelm
ML_trace: observe context visibility flag (import for Latex mode, for example);
2011-01-09, by wenzelm
more direct treatment of Position.end_offset;
2011-01-09, by wenzelm
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
tuned;
2011-01-08, by wenzelm
tuned;
2011-01-08, by wenzelm
tuned headers;
2011-01-08, by wenzelm
merged
2011-01-07, by wenzelm
adding example theory for list comprehension to set comprehension simproc
2011-01-07, by bulwahn
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip