Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-64
+64
+100
+300
+1000
+3000
+10000
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.
merged
2018-02-19, by wenzelm
support for lazy notes in global/local context and Element.Lazy_Notes: name binding and fact without attributes;
2018-02-19, by wenzelm
tuned;
2018-02-19, by wenzelm
tuned: more parallel;
2018-02-19, by wenzelm
clarified modules;
2018-02-19, by wenzelm
clarified modules;
2018-02-19, by wenzelm
tuned;
2018-02-19, by wenzelm
tuned;
2018-02-19, by wenzelm
tuned signature;
2018-02-19, by wenzelm
tuned: more accurate transfer;
2018-02-19, by wenzelm
store facts as lazy values;
2018-02-19, by wenzelm
clarified operations;
2018-02-19, by wenzelm
misc tuning and clarification;
2018-02-19, by wenzelm
clarified signature;
2018-02-19, by wenzelm
clarified modules;
2018-02-19, by wenzelm
more operations;
2018-02-19, by wenzelm
added lemma
2018-02-19, by nipkow
tuned;
2018-02-18, by wenzelm
clarified signature;
2018-02-18, by wenzelm
misc tuning and clarification;
2018-02-18, by wenzelm
clarified signature;
2018-02-18, by wenzelm
more explicit instantiate_morphism (without checks for typ / term component);
2018-02-18, by wenzelm
tuned;
2018-02-18, by wenzelm
tuned signature;
2018-02-18, by wenzelm
more thorough jEdit.propertiesChanged(), which includes KeymapManager.reload() and jEdit.initKeyBindings();
2018-02-17, by wenzelm
avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>";
2018-02-17, by wenzelm
trim context of persistent data;
2018-02-17, by wenzelm
trim context of persistent data;
2018-02-17, by wenzelm
trim context of persistent data;
2018-02-17, by wenzelm
clarified apply_transaction: always continue without presentation context;
2018-02-17, by wenzelm
more tight presentation context: avoid storing full Toplevel.state;
2018-02-17, by wenzelm
tuned;
2018-02-17, by wenzelm
more informative theories_trace;
2018-02-17, by wenzelm
merged
2018-02-17, by wenzelm
tuned signature (again);
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
proper file name;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
clarified data operations, with trim_context and transfer;
2018-02-16, by wenzelm
tuned;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
removed unused material;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
tuned;
2018-02-16, by wenzelm
tuned whitespace;
2018-02-16, by wenzelm
more operations;
2018-02-16, by wenzelm
optional trace of created theory values;
2018-02-16, by wenzelm
more operations;
2018-02-16, by wenzelm
auxiliary operation for space profiling;
2018-02-15, by wenzelm
special treatment of 0 only refers to type char
2018-02-03, by haftmann
merged
2018-02-16, by Lars Hupel
features and caveats of datatype_record
2018-02-16, by Lars Hupel
merged
2018-02-16, by Andreas Lochbihler
strengthen filter relator to canonical categorical definition with better properties
2018-02-16, by Andreas Lochbihler
recovered outer Pretty.block from 30c1639a343a, avoid excessive line breaks due to implicit Pretty.chunks;
2018-02-15, by wenzelm
merged
2018-02-15, by wenzelm
more symbols;
2018-02-15, by wenzelm
New theory ex/Radix_Sort.thy
2018-02-14, by nipkow
records based on datatypes/BNF infrastructure
2018-02-14, by Lars Hupel
updated polyml component;
2018-02-13, by wenzelm
no --enable-shared: leads to slow bigint operations (e.g. in session HOL-ODE-Examples);
2018-02-13, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-64
+64
+100
+300
+1000
+3000
+10000
tip