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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

Merged
2016-07-22, by eberlm
Tuned primes
2016-07-22, by eberlm
Overhaul of prime/multiplicity/prime_factors
2016-07-21, by eberlm
merged
2016-07-21, by wenzelm
provide Pure.simp/simp_all, which only know about meta-equality;
2016-07-20, by wenzelm
clarified imports;
2016-07-20, by wenzelm
tuned;
2016-07-20, by wenzelm
oops;
2016-07-20, by wenzelm
completion templates for commands involving "begin ... end" blocks;
2016-07-20, by wenzelm
moved method "use" to Pure;
2016-07-20, by wenzelm
unused (see also 651ea265d568);
2016-07-20, by wenzelm
more instantiations for multiset
2016-07-20, by fleury
adding mset_map to the simp rules
2016-07-20, by fleury
misc tuning and simplification;
2016-07-19, by wenzelm
misc tuning and simplification;
2016-07-19, by wenzelm
added missing transfer rule
2016-07-19, by Lars Hupel
Linux platform base-line is Ubuntu 12.04 LTS;
2016-07-19, by wenzelm
more precise error information for dynamic Scala tools
2016-07-17, by Lars Hupel
tuned signature;
2016-07-16, by wenzelm
no Output.information by default, e.g. "isabelle console", "isabelle build";
2016-07-16, by wenzelm
tuned proofs;
2016-07-16, by wenzelm
re-use name space serial as unique (!) id;
2016-07-16, by wenzelm
clarified;
2016-07-16, by wenzelm
information about proof outline with cases (sendback);
2016-07-16, by wenzelm
tuned signature;
2016-07-16, by wenzelm
more operations;
2016-07-15, by wenzelm
singleton result for 'proof' command (without backtracking), e.g. relevant for well-defined output;
2016-07-15, by wenzelm
unused;
2016-07-15, by wenzelm
more structured edit, including indentation;
2016-07-15, by wenzelm
clarified markup;
2016-07-15, by wenzelm

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

isabelle