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

misc tuning and modernization;
2016-06-20, by wenzelm
Merged
2016-06-20, by eberlm
Merged
2016-06-17, by eberlm
fps_from_poly → fps_of_poly
2016-06-17, by eberlm
Merged
2016-06-17, by eberlm
Various additions to polynomials, FPSs, Gamma function
2016-06-16, by eberlm
misc tuning and modernization;
2016-06-19, by wenzelm
benchmark build profile
2016-06-19, by Lars Hupel
killed dead code
2016-06-17, by blanchet
avoid runtime warning with discriminators due to 'Code.del_eqn'
2016-06-17, by blanchet
killed deadcode
2016-06-17, by blanchet
be more careful before filtering out chained facts in Sledgehammer
2016-06-17, by blanchet
normalising multiset theorem names
2016-06-17, by fleury
tuned;
2016-06-16, by wenzelm
isabelle update_cartouches -c -t;
2016-06-16, by wenzelm
tuned;
2016-06-16, by wenzelm
Removed instances of ^ from theory markup
2016-06-16, by paulson
Urysohn's lemma, Dugundji extension theorem and many other proofs
2016-06-15, by paulson
non-deprecated char literals for Scala
2016-06-14, by haftmann
explicit resolution of ambiguous dictionaries
2016-06-14, by haftmann
Merge
2016-06-14, by paulson
new results about topology
2016-06-14, by paulson
Merged
2016-06-14, by eberlm
Integration by substitution
2016-06-14, by eberlm
tuned;
2016-06-14, by wenzelm
tuned;
2016-06-13, by wenzelm
Integral form of Gamma function
2016-06-13, by eberlm
Facts about HK integration, complex powers, Gamma function
2016-06-13, by eberlm
tuned
2016-06-13, by Lars Hupel
tuned;
2016-06-13, by wenzelm
tuned;
2016-06-12, by wenzelm
tuned;
2016-06-11, by wenzelm
boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
2016-06-11, by haftmann
merged
2016-06-11, by Lars Hupel
start moving actual Jenkins build scripts into the repository
2016-06-11, by Lars Hupel
tuned order for isar-ref;
2016-06-11, by wenzelm
clarified;
2016-06-11, by wenzelm
clarified syntax;
2016-06-11, by wenzelm
spelling;
2016-06-11, by wenzelm
bundles "finfun_syntax" and "no_finfun_syntax" for optional syntax;
2016-06-10, by wenzelm
added command 'unbundle';
2016-06-10, by wenzelm
Merge
2016-06-10, by paulson
code to catch exception TERM in blast
2016-06-10, by paulson
merged
2016-06-10, by wenzelm
avoid duplicate Attrib.local_notes in aux. context;
2016-06-10, by wenzelm
proper restore;
2016-06-10, by wenzelm
tuned;
2016-06-10, by wenzelm
tuned;
2016-06-10, by wenzelm
tuned;
2016-06-10, by wenzelm
prefer hybrid 'bundle' command;
2016-06-10, by wenzelm
documentation;
2016-06-09, by wenzelm
clarified;
2016-06-09, by wenzelm
support for bundle definition via target;
2016-06-09, by wenzelm
tuned signature;
2016-06-09, by wenzelm
tuned;
2016-06-09, by wenzelm
tuned signature;
2016-06-09, by wenzelm
tuned;
2016-06-09, by wenzelm
Better treatment of assumptions/goals that are simply Boolean variables. Also cosmetic changes.
2016-06-10, by paulson
merged
2016-06-09, by immler
approximation, derivative, and continuity of floor and ceiling
2016-06-09, by immler

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

isabelle