Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
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.
more robust: theories could have been suppressed via option "condition";
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned messages (again, see d50c2129e73a): presentation setup could fail initially for take some time;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified signature: support for adhoc file types;
19 months ago, by wenzelm
clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory;
19 months ago, by wenzelm
export entity file position as well, e.g. relevant for HTML presentation with aux. files;
19 months ago, by wenzelm
proper permissive = true (amending 475fedc02737)
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
more robust directory structure: always relative to session_dir;
19 months ago, by wenzelm
discontinued slightly odd integrity check (from af2d0e07493b): requires a different approach;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
misc tuning and clarification;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature: replaced Sessions.Deps by Sessions.Structure from HTML_Context;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified signature: avoid constants from Sessions.Structure within Session.Base;
19 months ago, by wenzelm
clarified signature: avoid object-oriented HTML_Context;
19 months ago, by wenzelm
tuned type signature
19 months ago, by haftmann
tuned type signature
19 months ago, by haftmann
streamlined theorems
19 months ago, by haftmann
more thorough split rules for div and mod on numerals, tuned split rules setup
19 months ago, by haftmann
streamlined simpset building, avoiding duplicated rewrite rules
19 months ago, by haftmann
consolidated attribute name
19 months ago, by haftmann
streamlined theorems
19 months ago, by haftmann
streamlined theorems and sections
19 months ago, by haftmann
streamlined primitive definitions for integer division
19 months ago, by haftmann
reintroduced SPASS to the mix
19 months ago, by blanchet
tweaked generation of Isar proofs
19 months ago, by blanchet
tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and make them half as long as other provers' to pack more of them in 30 s
19 months ago, by blanchet
tuned comments;
19 months ago, by wenzelm
updated to sumatra_pdf-3.4.6;
19 months ago, by wenzelm
proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;
19 months ago, by wenzelm
revived 'try0' and 'smart' Isar proofs in Sledgehammer
19 months ago, by blanchet
Cleanup of NonstandardAnalysis
19 months ago, by paulson
A bit of cleaning up
19 months ago, by paulson
The same, without adding a new simprule
19 months ago, by paulson
moved some material from Sum_of_Powers
19 months ago, by paulson
merged
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified theory_names with exported content;
19 months ago, by wenzelm
proper export theory_names: theory/parents are not necessarily present (amending 4d27b520622a);
19 months ago, by wenzelm
proper treatment of empty lines (amending 08f89f0e8a62);
19 months ago, by wenzelm
clarified signature: avoid confusing operation name (amending 8cf14d4ebec4);
19 months ago, by wenzelm
merged
19 months ago, by paulson
The right way to formulate card_UNION, plus the old version for compatibility
19 months ago, by paulson
tuned comments;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip