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.
changed exception to uppercase
2013-01-09, by smolkas
proper exception handling; reraise interrupt exceptions
2013-01-09, by smolkas
more CHECKLIST;
2013-01-09, by wenzelm
merged
2013-01-09, by wenzelm
build browser more robustly before startup;
2013-01-09, by wenzelm
standardized treatment of timing properties;
2013-01-09, by wenzelm
consider merging obtain steps
2013-01-09, by smolkas
preplay obtain steps
2013-01-09, by smolkas
tune spelling;
2013-01-09, by wenzelm
include timing properties in log;
build_history_base
2013-01-08, by wenzelm
merged
2013-01-08, by wenzelm
upper bound for font size;
2013-01-08, by wenzelm
more tolerant set/pred rule declaration to improve "tool compliance", notably for "context assumes";
2013-01-08, by wenzelm
more aggressive update -- potentially relevant for previously is_outdated output;
2013-01-08, by wenzelm
allow negative argument in "consumes" source format;
2013-01-08, by wenzelm
prefer negative "consumes", relative to the total number of prems, which is stable under more morphisms, notably those from nested context with assumes (cf. existing treatment of 'obtains');
2013-01-08, by wenzelm
more direct invalidateScreenLineRange after changed assignment;
2013-01-08, by wenzelm
tuned;
2013-01-08, by wenzelm
tuned -- prefer high-level Table.merge with its slightly more conservative update;
2013-01-08, by wenzelm
tuned output
2013-01-08, by blanchet
tuned names
2013-01-08, by nipkow
merged;
2013-01-07, by wenzelm
more precise and complete transitive closure of proven_classrel, using existing Sorts.classes_of which is already closed;
2013-01-07, by wenzelm
no fork from draft thy -- avoid potential for crash via classrel_proof/arity_proof;
2013-01-07, by wenzelm
merged
2013-01-07, by wenzelm
export some generally useful operations;
2013-01-06, by wenzelm
tuned comment -- do not claim anything;
2013-01-07, by wenzelm
cleaner context threading
2013-01-07, by blanchet
tuned output
2013-01-07, by blanchet
slightly odd duplication of Pure options for Proof General (amending cb5cdbb645cd);
2013-01-07, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip