isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

added Command.proper_range (still unused);
2012-03-04, by wenzelm
clarified special eol treatment and moved to gfx_range -- enables error messages at end of input, e.g. "prop PROP";
2012-03-04, by wenzelm
clarified command span: include trailing whitespace/comments and thus reduce number of ignored spans with associated transactions and states (factor 2);
2012-03-04, by wenzelm
tuned
2012-03-04, by haftmann
move test targets to test target
2012-03-04, by haftmann
dropped images for importer sessions
2012-03-04, by haftmann
dropped dead code
2012-03-04, by haftmann
more accurate dependencies
2012-03-04, by haftmann
tuned ML
2012-03-04, by haftmann
dropped silly code
2012-03-04, by haftmann
tuned
2012-03-04, by haftmann
dropped dead code
2012-03-04, by haftmann
actually add "the" Importer theory
2012-03-04, by haftmann
avoid internal hol4 name references in generic importer code
2012-03-04, by haftmann
generalized user-visible text
2012-03-03, by haftmann
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
relevant timing as in ML;
2012-03-03, by wenzelm
more fundamental pred-to-set conversions for range and domain by means of inductive_set
2012-03-02, by haftmann
merged
2012-03-02, by wenzelm
tuned whitespace
2012-03-02, by haftmann
tuned import
2012-03-02, by haftmann
dropped dead code
2012-03-02, by haftmann
terminate after first exception -- avoid syslog flooding;
2012-03-02, by wenzelm
avoid buffer loading overrun;
2012-03-02, by wenzelm
merged
2012-03-02, by wenzelm
collecting all axioms in a locale context in quickcheck;
2012-03-02, by bulwahn
choosing longer constant names in Quickcheck_Narrowing to reduce the chances of name clashes in Quickcheck-Narrowing
2012-03-02, by bulwahn
removing finiteness goals
2012-03-02, by bulwahn
adding finiteness of intervals on integer sets; adding another finiteness theorem for multisets
2012-03-02, by bulwahn
Symbol.encode header edits;
2012-03-01, by wenzelm
merged
2012-03-01, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle