Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-14
+14
+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 a line that was missing from the definition
2008-11-21, by paulson
added binary logarithm
2008-11-21, by krauss
Strange. The proof worked in the 2008 release. In order to make it work now, the last line of the proof must be moved up two places. In other words, the first proof step is now returning its subgoals in a different order from before.
2008-11-21, by paulson
Name.binding
2008-11-21, by haftmann
added optimizer
2008-11-20, by nipkow
reactivated some dead theories (based on hints by Mark Hillebrand);
2008-11-20, by wenzelm
Locale.local_note_qualified
2008-11-20, by haftmann
fact table now using name bindings
2008-11-20, by haftmann
dropped legacy naming code
2008-11-20, by haftmann
tuned name bindings
2008-11-20, by haftmann
using name bindings
2008-11-20, by haftmann
name spaces and name bindings
2008-11-20, by haftmann
Deleted debug message (PolyML).
2008-11-20, by ballarin
removed traces of former 'includes' element;
2008-11-20, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip