Sat, 13 Jun 2020 14:17:34 +0200 | wenzelm | clarified errors; | changeset | files |
Thu, 11 Jun 2020 16:13:53 +0100 | paulson | fixed the utterly weird definitions of asym / asymp, and added many asym lemmas | changeset | files |
Thu, 11 Jun 2020 14:18:34 +0200 | wenzelm | tuned whitespace; | changeset | files |
Thu, 11 Jun 2020 14:13:04 +0200 | wenzelm | proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310; | changeset | files |
Wed, 10 Jun 2020 19:59:12 +0200 | wenzelm | updated to jedit-5.6pre1 (repository version 25349); | changeset | files |
Wed, 10 Jun 2020 15:55:41 +0200 | 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 |