Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-32
+32
+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.
using class target
2007-07-24, by haftmann
added proper implementation of self_critical, CRITICAL;
2007-07-23, by wenzelm
added multithreading, self_critical
2007-07-23, by wenzelm
RAW: updated deps;
2007-07-23, by wenzelm
marked some CRITICAL sections;
2007-07-23, by wenzelm
added compatibility wrapper for polyml-5.1;
2007-07-23, by wenzelm
marked some CRITICAL sections;
2007-07-23, by wenzelm
avoid global reference warned'';
2007-07-23, by wenzelm
marked some CRITICAL sections;
2007-07-23, by wenzelm
marked some CRITICAL sections;
2007-07-23, by wenzelm
depth flag: plain bool ref;
2007-07-23, by wenzelm
eliminated transform_failure (to avoid critical section for main transactions);
2007-07-23, by wenzelm
setmp_noncritical (assumes outermost control);
2007-07-23, by wenzelm
PrintMode.with_modes;
2007-07-23, by wenzelm
added with_modes, with_default;
2007-07-23, by wenzelm
marked some CRITICAL sections;
2007-07-23, by wenzelm
added setmp_noncritical;
2007-07-23, by wenzelm
PrintMode.with_default;
2007-07-23, by wenzelm
added nbe implementation heading for dictionaries
2007-07-23, by haftmann
Tuned.
2007-07-23, by berghofe
Protected underscore in inductive_set.
2007-07-23, by berghofe
Replaced "hand-made" LaTeX code in Protocol/protocol.tex by
2007-07-23, by berghofe
Removed legacy ML files in Protocol case study.
2007-07-23, by berghofe
LaTeX code is now generated directly from theory files.
2007-07-23, by berghofe
Ported ML proof scripts to Isar.
2007-07-23, by berghofe
hide internal structures (again);
2007-07-23, by wenzelm
marked some CRITICAL sections (for multithreading);
2007-07-23, by wenzelm
added compatibility file for ML systems without multithreading;
2007-07-23, by wenzelm
interpretation: unfolding of equations;
2007-07-23, by ballarin
interpretation: equations are propositions not pairs of terms;
2007-07-23, by ballarin
interpretation: unfolding of equations;
2007-07-23, by ballarin
increase default max heap size for poly to -H 500 (this is what isatest uses,
2007-07-23, by kleing
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-32
+32
+50
+100
+300
+1000
+3000
+10000
+30000
tip