Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2020-06-11
paulson
fixed the utterly weird definitions of asym / asymp, and added many asym lemmas
changeset
|
files
2020-06-11
wenzelm
tuned whitespace;
changeset
|
files
2020-06-11
wenzelm
proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;
changeset
|
files
2020-06-10
wenzelm
updated to jedit-5.6pre1 (repository version 25349);
changeset
|
files
2020-06-10
blanchet
simplified 'smt_proofs' option to be a binary option (instead of ternary), now that SMT proofs are accepted in the AFP (done with Martin Desharnais)
changeset
|
files
2020-06-09
paulson
New Ackermann development
changeset
|
files
2020-06-08
wenzelm
tuned document;
changeset
|
files
2020-06-08
wenzelm
proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;
changeset
|
files
2020-06-08
wenzelm
NEWS;
changeset
|
files
2020-06-08
wenzelm
clarified sessions;
changeset
|
files
2020-06-08
wenzelm
clarified sessions: "Notable Examples in Isabelle/HOL";
changeset
|
files
2020-06-08
wenzelm
clarified sessions: "Notable Examples in Isabelle/Pure";
changeset
|
files
2020-06-06
haftmann
NEWS
changeset
|
files
2020-06-04
haftmann
more theorems
changeset
|
files
Loading...
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
tip