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.
added isabelle_path;
2009-06-27, by wenzelm
tune File.isabelle_tool signature;
2009-06-27, by wenzelm
builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin);
2009-06-27, by wenzelm
removed old primrecs
2009-06-27, by nipkow
replaced recdefs by funs
2009-06-27, by nipkow
tuned abbrevs;
2009-06-26, by wenzelm
lcm abs lemmas
2009-06-26, by nipkow
gcd abs lemmas
2009-06-26, by nipkow
NEWS updated
2009-06-25, by hoelzl
Improved computation of bounds and implemented interval splitting for 'approximation'.
2009-06-25, by hoelzl
Added new evaluator "approximate"
2009-06-08, by hoelzl
tuned
2009-06-15, by hoelzl
merged
2009-06-25, by haftmann
added List_Set and Code_Set theories
2009-06-25, by haftmann
merged
2009-06-25, by wenzelm
merged
2009-06-25, by haftmann
arbitrary farewell
2009-06-25, by haftmann
expand_path: handle parent (..) elements;
2009-06-25, by wenzelm
more stats;
2009-06-25, by wenzelm
merged
2009-06-25, by wenzelm
Streamlined code
2009-06-25, by nipkow
merged
2009-06-25, by nipkow
Cleaned up GCD
2009-06-25, by nipkow
renamed IsabelleProcess to Isabelle_Process;
2009-06-25, by wenzelm
renamed IsabelleSystem to Isabelle_System;
2009-06-25, by wenzelm
standard naming conventions for session and theories;
2009-06-24, by wenzelm
renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
2009-06-24, by wenzelm
proper ML interface set_full_types;
2009-06-24, by wenzelm
Replaced Suc_remove by Suc_eq_plus1
2009-06-24, by nipkow
New ATP option: full types
2009-06-24, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip