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.
generalized attribute name
2012-03-03, by haftmann
dropped dead theories
2012-03-03, by haftmann
one unified Importer theory
2012-03-03, by haftmann
added actual dependencies
2012-03-03, by haftmann
import all importer theories in compatibility layer
2012-03-03, by haftmann
merged;
2012-03-03, by wenzelm
dropped obsolete ROOT.ML
2012-03-03, by haftmann
plugged in pre-existing theories appropriately
2012-03-03, by haftmann
switch of target Import-HOL_Light-Imported: not operative at the moment
2012-03-03, by haftmann
turn on quick and dirty in batch mode
2012-03-03, by haftmann
tuned whitespace
2012-03-03, by haftmann
file system structure separating HOL4 and HOL Light concerns
2012-03-03, by haftmann
distribution of compatibility theories
2012-03-03, by haftmann
formal infrastructure for import sessions
2012-03-03, by haftmann
dropped dead code
2012-03-03, by haftmann
tuned whitespace
2012-03-03, by haftmann
spurious set/pred correction
2012-03-03, by haftmann
explicit locations for import_theory and setup_theory, for better user interface conformance; spurious set/pred correction
2012-03-03, by haftmann
explicit locations for import_theory and setup_theory, for better user interface conformance
2012-03-03, by haftmann
discontinued obsolete Library.foldl_map and Library.apply (NB: apply = fold I);
2012-03-03, by wenzelm
tuned;
2012-03-03, by wenzelm
tuned;
2012-03-03, by wenzelm
tuned;
2012-03-03, by wenzelm
canonical argument order for attribute application;
2012-03-03, by wenzelm
clarified terminology of raw protocol messages;
2012-03-03, by wenzelm
tuned;
2012-03-03, by wenzelm
tuned signature -- emphasize Isabelle_Process Input vs. Output;
2012-03-03, by wenzelm
explicit syslog_limit reduces danger of low-level message flooding;
2012-03-03, by wenzelm
retain original "uses" (again) -- still required for Thy_Load.use_file etc. in ML (notably for maintaining required/provided);
2012-03-03, by wenzelm
clarified scope of exception handlers;
2012-03-03, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip