| Sun, 16 Aug 2015 17:11:31 +0200 | wenzelm | separate type theory_id; | changeset | files |
| Sun, 16 Aug 2015 15:36:06 +0200 | wenzelm | delete precisely the added rules; | changeset | files |
| Sun, 16 Aug 2015 14:48:37 +0200 | wenzelm | clarified context; | changeset | files |
| Sun, 16 Aug 2015 11:55:21 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 16 Aug 2015 11:46:08 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 16 Aug 2015 11:29:06 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Aug 2015 23:10:13 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 15 Aug 2015 22:47:03 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 15 Aug 2015 20:27:23 +0200 | wenzelm | obsolete; | changeset | files |
| Sat, 15 Aug 2015 20:07:05 +0200 | wenzelm | clarified context; | changeset | files |
| Sat, 15 Aug 2015 19:42:35 +0200 | wenzelm | clarified context; | changeset | files |
| Sat, 15 Aug 2015 19:11:11 +0200 | wenzelm | tuned GUI; | changeset | files |
| Sat, 15 Aug 2015 19:07:11 +0200 | wenzelm | proper setup of evaluation context; | changeset | files |
| Sat, 15 Aug 2015 19:00:04 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Aug 2015 18:59:31 +0200 | wenzelm | more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer; | changeset | files |