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

tuned;
2011-01-15, by wenzelm
removed unreferenced identifiers;
2011-01-15, by wenzelm
global "prems" is legacy feature;
2011-01-15, by wenzelm
misc updates for release;
2011-01-15, by wenzelm
merged;
2011-01-15, by wenzelm
misc tuning for release;
2011-01-15, by wenzelm
normalize Z3 models: assignments to free variables should ideally not refer to other free variables
2011-01-15, by boehmes
Also added SPARK to test and clean targets.
2011-01-15, by berghofe
merged
2011-01-15, by berghofe
Added entry for HOL-SPARK
2011-01-15, by berghofe
Added HOL-SPARK and removed old_primrec.ML
2011-01-15, by berghofe
unused_thms no longer compares propositions, since this is no longer needed
2011-01-15, by berghofe
Include HOL-SPARK keywords
2011-01-15, by berghofe
Include HOL-SPARK
2011-01-15, by berghofe
Finally removed old primrec package, since Primrec.add_primrec_global
2011-01-15, by berghofe
Added new SPARK verification environment.
2011-01-15, by berghofe
remove presently unused Isabelle application for official releases;
2011-01-15, by wenzelm
hardwired default for proof-shell-quit-timeout (PG 4.1 provides rather low value);
2011-01-15, by wenzelm
treat HOLCF as HOL library session, not as "logic";
2011-01-15, by wenzelm
increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);
2011-01-15, by wenzelm
bundle main HOL image only, to save about 300 MB disk space;
2011-01-14, by wenzelm
updated for release;
2011-01-14, by wenzelm
adjusted mira configuration
2011-01-14, by haftmann
merged
2011-01-14, by wenzelm
global "prems" is legacy feature;
2011-01-14, by wenzelm
tuned markup;
2011-01-14, by wenzelm
eliminated global prems;
2011-01-14, by wenzelm
more precise import;
2011-01-14, by wenzelm
Thy_Load.begin_theory: maintain source specification of imports;
2011-01-14, by wenzelm
merged
2011-01-14, by hoelzl
integral on lebesgue measure is extension of integral on borel measure
2011-01-14, by hoelzl
tuned formalization of subalgebra
2011-01-14, by hoelzl
introduced integral syntax
2011-01-14, by hoelzl
tuned theorem order
2011-01-14, by hoelzl
configuration file for mira
2011-01-14, by haftmann
eliminated global prems;
2011-01-13, by wenzelm
more precise pretty printing -- to accomodate Scala message layout;
2011-01-13, by wenzelm
less verbosity -- avoid slightly odd tracing information on warning channel;
2011-01-13, by wenzelm
updated Isabelle/jEdit limitations and workarounds;
2011-01-13, by wenzelm
full theory path enables loading parents via master directory and keeps files strictly separate;
2011-01-13, by wenzelm
Toplevel.init_theory: maintain optional master directory, to allow bypassing global Thy_Load.master_path;
2011-01-13, by wenzelm
clarified split_thy_path;
2011-01-13, by wenzelm
less verbosity;
2011-01-13, by wenzelm
proper 'domain' class instance for 'a defl, with deflation combinator
2011-01-12, by huffman
documented Option.bind
2011-01-12, by krauss
CONTRIBUTORS
2011-01-12, by krauss
updated keywords;
2011-01-12, by wenzelm
eliminated global prems;
2011-01-12, by wenzelm
eliminated global prems;
2011-01-12, by wenzelm
updated to ProofGeneral-4.x;
2011-01-12, by wenzelm
eliminated global prems;
2011-01-12, by wenzelm
tuned proof;
2011-01-12, by wenzelm
eliminated global prems;
2011-01-12, by wenzelm
compile;
2011-01-12, by wenzelm
more FIXMEs concerning bad catch-all exception handlers;
2011-01-12, by wenzelm
eliminated obsolete print_sign_exn_unit;
2011-01-12, by wenzelm
reraise interrupts as usual;
2011-01-12, by wenzelm
avoid catch-all exception handler, presumably TERM was meant here;
2011-01-12, by wenzelm
disabled experimental treatment of replacement text for now, which leads to odd spacing and strange effects on non-poppler viewers;
2011-01-12, by wenzelm
observe line length limit;
2011-01-12, by wenzelm

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

isabelle