| Sun, 18 Aug 2013 18:49:45 +0200 | wenzelm | more symbols; | changeset | files |
| Sun, 18 Aug 2013 17:00:10 +0200 | wenzelm | merged | changeset | files |
| Sun, 18 Aug 2013 15:59:48 +0200 | wenzelm | load_theories if continuous_checking; | changeset | files |
| Sun, 18 Aug 2013 15:33:26 +0200 | wenzelm | discontinued redundant abbreviations -- Isabelle/jEdit provides keyboard shortcuts already; | changeset | files |
| Sun, 18 Aug 2013 15:31:12 +0200 | wenzelm | prefer plain subscript; | changeset | files |
| Sun, 18 Aug 2013 15:10:18 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 18 Aug 2013 15:35:01 +0200 | haftmann | spelling and typos | changeset | files |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | execution of int division by class semiring_numeral_div, replacing pdivmod by divmod_abs | changeset | files |