Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-15
+15
+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.
interpretation of typedefs
2007-12-05, by haftmann
simplified infrastructure for code generator operational equality
2007-12-05, by haftmann
added something about instantiation target
2007-12-05, by haftmann
switch poly to 5.1, removed -e flag from most sessions
2007-12-05, by kleing
switch at-poly main to poly 5.1
2007-12-05, by kleing
make mac-poly non-experimental
2007-12-05, by kleing
make at64 non-experimental
2007-12-05, by kleing
Isabelle process wrapper -- interaction via external program.
2007-12-04, by wenzelm
Toplevel.loop: explicit argument for secure loop, no warning on quit;
2007-12-04, by wenzelm
added Isar.secure_main;
2007-12-04, by wenzelm
added Tools/isabelle_process.ML;
2007-12-04, by wenzelm
isabelle process: replaced option -p by -W (process wrapper);
2007-12-04, by wenzelm
replaced option -p by -W (process wrapper);
2007-12-04, by wenzelm
\<chi> is now considered a letter;
2007-12-04, by wenzelm
symbol chi is also a letter;
2007-12-04, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
+10000
+30000
tip