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 tip

NEWS and CONTRIBUTORS
2013-10-02, by kuncar
merged
2013-10-01, by blanchet
compile -- broken since 21dac9a60f0c
2013-10-01, by blanchet
strengthened tactic for right-hand sides involving lambdas
2013-10-01, by blanchet
basic documentation for function elimination rules and fun_cases
2013-10-01, by krauss
allow uncurried lambda-abstractions on rhs of "primcorec"
2013-10-01, by blanchet
tiny doc fix
2013-10-01, by blanchet
base the fset bnf on the new FSet theory
2013-10-01, by traytel
improved backwards compatiblity of primrec_new (Isabelle/ML interface, attributes, etc.)
2013-10-01, by traytel
removed spurious save if nothing needs to bee learned
2013-10-01, by blanchet
new version of MaSh that really honors the --port option and that checks for file name mismatches
2013-10-01, by blanchet
minor textual changes
2013-10-01, by blanchet
got rid of dead feature
2013-10-01, by blanchet
refactoring -- splitting between constructor sugar dependencies and true BNF dependencies
2013-10-01, by blanchet
renamed ML files
2013-10-01, by blanchet
renamed theory file
2013-10-01, by blanchet
tuned signature -- facilitate experimentation with other processes;
2013-10-01, by wenzelm
preserve types during rewriting
2013-09-30, by Christian Sternagel
made SML/NJ happy
2013-09-30, by blanchet
made SML/NJ happy
2013-09-30, by blanchet
made SML/NJ happier
2013-09-30, by blanchet
added experimental configuration options to tune use of builtin symbols in SMT
2013-09-30, by blanchet
added possibility to reset builtins (for experimentation)
2013-09-30, by blanchet
just one data slot (record) per program unit
2013-09-30, by blanchet
more "primrec_new" documentation
2013-09-30, by blanchet
merged
2013-09-30, by wenzelm
tuned signature;
2013-09-30, by wenzelm
eliminated clone of Inductive.mk_cases_tac;
2013-09-30, by wenzelm
tuned signature;
2013-09-30, by wenzelm
tuned whitespace;
2013-09-30, by wenzelm
provide regular ML interface and use plain Syntax.read_prop/Syntax.check_prop (update by Manuel Eberl);
2013-09-30, by wenzelm
merge
2013-09-30, by blanchet
minor tweak to error message
2013-09-30, by blanchet
tuned;
2013-09-30, by wenzelm
explicit caret position after replacement;
2013-09-29, by wenzelm
tuned proofs
2013-09-29, by haftmann
observe user preferences;
2013-09-29, by wenzelm
updated for release;
2013-09-29, by wenzelm
tuned;
2013-09-29, by wenzelm
tuned;
2013-09-29, by wenzelm
more on text completion;
2013-09-29, by wenzelm
made SML/NJ happy (NB: toplevel ML environment is unmanaged);
2013-09-29, by wenzelm
updated for release;
2013-09-29, by wenzelm
updated for release;
2013-09-29, by wenzelm
updated to sumatra_pdf-2.3.2;
2013-09-29, by wenzelm
low-priority print task is always asynchronous -- relevant for single-core machine and automatically tried tools;
2013-09-29, by wenzelm
backout c6297fa1031a -- strange parsers are required to make this work;
2013-09-29, by wenzelm
make SML/NJ more happy;
2013-09-28, by wenzelm
enforce IsabelleText font for better symbol coverage, especially on Windows;
2013-09-28, by wenzelm
proper wrapper for parser -- more explicit error;
2013-09-28, by wenzelm
misc tuning for release;
2013-09-28, by wenzelm
remove remains from WinRun4J;
2013-09-28, by wenzelm
proper document markup;
2013-09-28, by wenzelm
uniform $ISABELLE_HOME on all platforms;
2013-09-28, by wenzelm
simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
2013-09-28, by wenzelm
update second environment that is used for System.getenv(String);
2013-09-28, by wenzelm
adhoc update of JVM environment variables, which is relevant for cold start of jEdit;
2013-09-28, by wenzelm
tuned names
2013-09-27, by kuncar
fold and lemmas about cardinality
2013-09-27, by kuncar
more robust parser: 'imports' are mandatory except for bootstrapping Pure;
2013-09-27, by wenzelm

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

isabelle