| Mon, 30 Sep 2013 14:17:27 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 30 Sep 2013 13:45:17 +0200 | wenzelm | eliminated clone of Inductive.mk_cases_tac; | changeset | files |
| Mon, 30 Sep 2013 13:35:05 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 30 Sep 2013 13:29:09 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 30 Sep 2013 13:20:44 +0200 | wenzelm | provide regular ML interface and use plain Syntax.read_prop/Syntax.check_prop (update by Manuel Eberl); | changeset | files |
| Mon, 30 Sep 2013 14:04:26 +0200 | blanchet | merge | changeset | files |
| Mon, 30 Sep 2013 13:59:07 +0200 | blanchet | minor tweak to error message | changeset | files |
| Mon, 30 Sep 2013 11:20:24 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 29 Sep 2013 18:51:01 +0200 | wenzelm | explicit caret position after replacement; | changeset | files |
| Sun, 29 Sep 2013 16:01:22 +0200 | haftmann | tuned proofs | changeset | files |
| Sun, 29 Sep 2013 14:07:47 +0200 | wenzelm | observe user preferences; | changeset | files |
| Sun, 29 Sep 2013 13:53:16 +0200 | wenzelm | updated for release; | changeset | files |