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

tuned;
2018-07-27, by wenzelm
more flexible session selection as in "isabelle jedit";
2018-07-26, by wenzelm
updated to jdk-8u181;
2018-07-25, by wenzelm
merged
2018-07-28, by paulson
de-applying and simplification
2018-07-28, by paulson
datatype_record produces simp theorems; contributed in part by Yu Zhang
2018-07-28, by Lars Hupel
updated to jdk-8u181;
2018-07-25, by wenzelm
de-applying
2018-07-25, by paulson
back to post-release mode -- after fork point;
2018-07-22, by wenzelm
Added tag Isabelle2018-RC2 for changeset 14167c321d22
2018-07-22, by wenzelm
tuned;
2018-07-22, by wenzelm
eliminated spurious Unicode;
2018-07-22, by wenzelm
merged
2018-07-22, by wenzelm
updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
2018-07-22, by wenzelm
Moved Real_Asymp manual
2018-07-22, by eberlm
merged
2018-07-22, by wenzelm
updated to polyml-5.7.1-7 (see also afa7c5a239e6);
2018-07-22, by wenzelm
merged
2018-07-22, by paulson
de-applying
2018-07-22, by paulson
avoid Unicode conflict with \<pounds>;
2018-07-22, by wenzelm
fixing a theorem statement, etc.
2018-07-21, by paulson
merged
2018-07-21, by paulson
de-applying and removing junk
2018-07-21, by paulson
don't lose facts that were introduced to deal with a theory or some preprocessing in the prover (e.g. the definition of 'abs' in an SMT proof)
2018-07-20, by blanchet
add lemmas about prod_filter
2018-07-20, by Andreas Lochbihler
merged
2018-07-20, by paulson
corrections to markup
2018-07-20, by paulson
updated material concerning Algebra
2018-07-19, by paulson
merged
2018-07-19, by paulson
de-applying
2018-07-19, by paulson
added system option "strict_facts";
2018-07-20, by wenzelm
slightly more canonical imports
2018-07-18, by haftmann
setup for Haskell taken over from AFP / Gauss_Jordan
2018-07-18, by haftmann
tuned equation
2018-07-18, by haftmann
restructured for future incorporation of Haskell
2018-07-18, by haftmann
slightly more uniform style
2018-07-18, by haftmann
taken over from AFP / Gauss_Jordan
2018-07-18, by haftmann
more cartouches
2018-07-18, by haftmann
merged
2018-07-19, by traytel
normalize imports
2018-07-19, by traytel
tagged
2018-07-17, by Manuel Eberl
evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
2018-07-18, by wenzelm
prefer HTTPS;
2018-07-18, by wenzelm
more ANNOUNCE;
2018-07-18, by wenzelm
tuned;
2018-07-18, by wenzelm
more de-applying
2018-07-17, by paulson
merged
2018-07-16, by paulson
de-applying and simplifying proofs
2018-07-16, by paulson
Tagged some more files in HOL-Analysis
2018-07-16, by Manuel Eberl
Made simproc for sqrt/root of numeral more robust
2018-07-16, by Manuel Eberl
merged
2018-07-16, by Andreas Lochbihler
merged
2018-07-15, by Andreas Lochbihler
more examples for Code_Lazy
2018-07-15, by Andreas Lochbihler
de-applying and meta-quantifying
2018-07-15, by paulson
merged
2018-07-15, by paulson
more renaming fixes
2018-07-15, by paulson
fixes and more de-applying
2018-07-15, by paulson
more de-applying and a fix
2018-07-15, by paulson
merged
2018-07-15, by paulson
last bit of renaming
2018-07-15, by paulson

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

isabelle