2016-07-20 fleury more instantiations for multiset
2016-07-20 fleury adding mset_map to the simp rules
2016-07-19 wenzelm misc tuning and simplification;
2016-07-19 wenzelm misc tuning and simplification;
2016-07-19 Lars Hupel added missing transfer rule
2016-07-19 wenzelm Linux platform base-line is Ubuntu 12.04 LTS;
2016-07-17 Lars Hupel more precise error information for dynamic Scala tools
2016-07-16 wenzelm tuned signature;
2016-07-16 wenzelm no Output.information by default, e.g. "isabelle console", "isabelle build";
2016-07-16 wenzelm tuned proofs;
2016-07-16 wenzelm re-use name space serial as unique (!) id;
2016-07-16 wenzelm clarified;
2016-07-15 wenzelm information about proof outline with cases (sendback);
2016-07-15 wenzelm tuned signature;
2016-07-15 wenzelm more operations;
2016-07-15 wenzelm singleton result for 'proof' command (without backtracking), e.g. relevant for well-defined output;
2016-07-15 wenzelm unused;
2016-07-15 wenzelm more structured edit, including indentation;
2016-07-15 wenzelm clarified markup;
2016-07-15 wenzelm merged
2016-07-15 wenzelm misc tuning and modernization;
2016-07-15 eberlm Merged
2016-07-15 eberlm Tuned Gcd/Lcm in Codegenerator_Test
2016-07-15 eberlm Merged
2016-07-15 eberlm Tuned Bool_List_Representation
2016-07-14 eberlm Added normalized fractions
2016-07-14 eberlm Tuned looping simp rules in semiring_div
2016-07-13 eberlm Reformed factorial rings
2016-07-15 hoelzl HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
2016-07-15 wenzelm merged
2016-07-15 wenzelm proper latex;
2016-07-15 wenzelm misc tuning and modernization;
2016-07-14 paulson Got rid of the \nexists macro
2016-07-14 paulson More advanced theorems about retracts, homotopies., etc
2016-07-14 wenzelm prefer HTTPS;
2016-07-14 wenzelm prefer curl: presumably more portable and versatile;
2016-07-14 wenzelm misc tuning and modernization;
2016-07-13 wenzelm merged
2016-07-13 wenzelm misc tuning and modernization;
2016-07-13 wenzelm merged
2016-07-13 wenzelm misc tuning and modernization;
2016-07-13 wenzelm auto indentation of quasi commands;
2016-07-13 wenzelm tuned;
2016-07-13 wenzelm clarified indentation (amending 37a3fc20154d);
2016-07-13 wenzelm tuned;
2016-07-13 wenzelm tuned;
2016-07-13 wenzelm tuned;
2016-07-13 wenzelm clarified indentation of proof commands, notably for "notepad begin", which lacks a head goal;
2016-07-13 wenzelm clarified indentation: 'begin' is treated like a separate command without indent;
2016-07-13 wenzelm tuned;
2016-07-13 wenzelm obsolete;
2016-07-13 wenzelm semantic indentation for unstructured proof scripts;
2016-07-13 wenzelm misc tuning and modernization;
2016-07-13 Lars Hupel tuned
2016-07-13 Lars Hupel remove obsolete isatest scripts
2016-07-13 paulson Merge
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 tip