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.
tuned headers;
2011-01-16, by wenzelm
tuned;
2011-01-16, by wenzelm
type_synonym;
2011-01-16, by wenzelm
more standard command descriptions;
2011-01-16, by wenzelm
added before_exit continuation for named targets (locale, class etc.), e.g. for final check/cleanup as in VC management;
2011-01-16, by wenzelm
Replaced ad-hoc advance function by Position.advance
2011-01-15, by berghofe
merged
2011-01-15, by wenzelm
experimental variant of interpretation with simultaneous definitions, plus example
2011-01-15, by haftmann
clarified pretty_statement: more robust treatment of fixes and conclusion of elimination (e.g. for classical rule);
2011-01-15, by wenzelm
link HOL-Proofs/index.html, which is not reachable from regular HOL/index.html;
2011-01-15, by wenzelm
type_synonym;
2011-01-15, by wenzelm
recovered printing of record updates over compound terms, e.g. "(|x = a|)(|x := b|)", which was apparently broken in 45a2ffc5911e;
2011-01-15, by wenzelm
export Record.get_hierarchy -- external tools typically need this information;
2011-01-15, by wenzelm
tuned;
2011-01-15, by wenzelm
removed unreferenced identifiers;
2011-01-15, by wenzelm
global "prems" is legacy feature;
2011-01-15, by wenzelm
misc updates for release;
2011-01-15, by wenzelm
merged;
2011-01-15, by wenzelm
misc tuning for release;
2011-01-15, by wenzelm
normalize Z3 models: assignments to free variables should ideally not refer to other free variables
2011-01-15, by boehmes
Also added SPARK to test and clean targets.
2011-01-15, by berghofe
merged
2011-01-15, by berghofe
Added entry for HOL-SPARK
2011-01-15, by berghofe
Added HOL-SPARK and removed old_primrec.ML
2011-01-15, by berghofe
unused_thms no longer compares propositions, since this is no longer needed
2011-01-15, by berghofe
Include HOL-SPARK keywords
2011-01-15, by berghofe
Include HOL-SPARK
2011-01-15, by berghofe
Finally removed old primrec package, since Primrec.add_primrec_global
2011-01-15, by berghofe
Added new SPARK verification environment.
2011-01-15, by berghofe
remove presently unused Isabelle application for official releases;
2011-01-15, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip