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

simplified keyword kinds;
2014-11-06, by wenzelm
Tidying up. Removing unnecessary conditions from some theorems.
2014-11-07, by paulson
more complete fp_sugars for sum and prod;
2014-11-07, by traytel
document '*_transfer' attribute
2014-11-07, by desharna
document 'size_neq'
2014-11-07, by desharna
generate 'size_neq' for datatypes
2014-11-07, by desharna
fix 'unfla' function
2014-11-06, by desharna
proper oriented equivalence of dvd predicate and mod
2014-11-05, by haftmann
merged
2014-11-05, by wenzelm
more symbols;
2014-11-05, by wenzelm
tuned signature;
2014-11-05, by wenzelm
more uniform header_keywords in ML/Scala;
2014-11-05, by wenzelm
tuned;
2014-11-05, by wenzelm
more frugal keywords;
2014-11-05, by wenzelm
eliminated pointless dynamic keywords (TTY legacy);
2014-11-05, by wenzelm
explicit type Keyword.keywords;
2014-11-05, by wenzelm
tuned;
2014-11-05, by wenzelm
clarified representation of type Keywords;
2014-11-05, by wenzelm
explicit type Keyword.Keywords;
2014-11-05, by wenzelm
clarified minor/major lexicon (like ML version);
2014-11-05, by wenzelm
reduced execution time
2014-11-05, by nipkow
proper button margins for Nimbus L&F;
2014-11-04, by wenzelm
approximative update of versions;
2014-11-04, by wenzelm
Added Option.bind_split{,_asm,s}
2014-11-04, by lammich
clarified legacy code;
2014-11-03, by wenzelm
eliminated unused int_only flag (see also c12484a27367);
2014-11-03, by wenzelm
eliminated obsolete Proof.goal_message -- print outcome more directly;
2014-11-03, by wenzelm
updated to scala-2.11.4;
2014-11-03, by wenzelm
less ambitious isatest: polyml-5.3.0 has problems with big sessions like HOL-Proofs;
2014-11-02, by wenzelm
modernized header uniformly as section;
2014-11-02, by wenzelm
prefer \setisabellecontext;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
obsolete;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
obsolete;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
clarified legacy command;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
obsolete;
2014-11-02, by wenzelm
added update_header tool;
2014-11-02, by wenzelm
modernized header;
2014-11-02, by wenzelm
more flexibile \setisabellecontext, independently of header;
2014-11-02, by wenzelm
prefer explicit heading command;
2014-11-02, by wenzelm
uniform heading commands work in any context, even in theory header;
2014-11-02, by wenzelm
eliminated dead code;
2014-11-02, by wenzelm
clarified syntax -- avoid overlap with command category;
2014-11-01, by wenzelm
tuned signature (see ab2483fad861);
2014-11-01, by wenzelm
recover via scanner;
2014-11-01, by wenzelm
simplified -- scanning is never interactive;
2014-11-01, by wenzelm
tuned signature, in accordance to Scala version;
2014-11-01, by wenzelm
command-line terminator ";" is no longer accepted;
2014-11-01, by wenzelm
eliminated spurious semicolons;
2014-11-01, by wenzelm
eliminated former Proof General preferences;
2014-11-01, by wenzelm

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

isabelle