Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2012-04-18 hoelzl add lemmas to rewrite powr to power changeset | files
2012-04-18 hoelzl add lemmas to compare log with 0 and 1 changeset | files
2012-04-18 hoelzl add ceiling_diff_floor_le_1 changeset | files
2012-04-19 wenzelm display Java 7 only code for now (cf. b9e2ed4b1579); changeset | files
2012-04-19 wenzelm some sidekick options for more advanced completion; changeset | files
2012-04-19 wenzelm custom ListCellRenderer with text area font ensures that symbols are displayed reliably; changeset | files
2012-04-19 wenzelm tuned imports; changeset | files
2012-04-19 wenzelm more robust wrt. exceptions; changeset | files
2012-04-19 wenzelm accomodate digits within Isar command names, notably 'try0'; changeset | files
2012-04-19 wenzelm more robust Sledgehammer in Prover IDE; changeset | files
2012-04-19 wenzelm test with jdk-7u3 that is also bundled; changeset | files
2012-04-19 kuncar create thm names correctly changeset | files
2012-04-19 wenzelm updated components according to tentative bundle; changeset | files
2012-04-19 wenzelm back to isatest with official polyml-5.4.1 (cf. ffa6e10df091); changeset | files
2012-04-19 huffman use simpler method for preserving bound variable names in transfer tactic changeset | files
2012-04-19 huffman tuned lemmas (v)image_id; changeset | files
2012-04-19 blanchet use latest SPASS changeset | files
2012-04-19 blanchet doc update changeset | files
2012-04-19 haftmann dropped dead code; changeset | files
2012-04-19 huffman generate abs_induct rules for quotient types changeset | files
2012-04-19 haftmann tuned changeset | files
2012-04-19 haftmann corrected Nbe.static_value: ignore cached compilations; changeset | files
2012-04-19 haftmann tuned heading changeset | files
2012-04-18 haftmann tuned name changeset | files
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle