| Tue, 21 Aug 2012 16:56:18 +0200 | wenzelm | more direct cumulation of (sparse) keywords; | changeset | files |
| Tue, 21 Aug 2012 14:54:29 +0200 | wenzelm | some support for thy_load_commands; | changeset | files |
| Tue, 21 Aug 2012 13:29:34 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 21 Aug 2012 12:15:25 +0200 | wenzelm | clarified initialization of Thy_Load, Thy_Info, Session; | changeset | files |
| Tue, 21 Aug 2012 11:00:54 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 20 Aug 2012 21:52:31 +0200 | wenzelm | more robust cleaning of "% tag" and "-- cmt"; | changeset | files |
| Mon, 20 Aug 2012 17:05:53 +0200 | wenzelm | some support for inlining file content into outer syntax token language; | changeset | files |
| Mon, 20 Aug 2012 15:43:10 +0200 | wenzelm | tuned comment; | changeset | files |
| Mon, 20 Aug 2012 14:23:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 20 Aug 2012 14:09:09 +0200 | wenzelm | added keyword kind "thy_load" (with optional list of file extensions); | changeset | files |
| Mon, 20 Aug 2012 13:58:06 +0200 | wenzelm | updated generated files; | changeset | files |
| Mon, 20 Aug 2012 13:39:41 +0200 | wenzelm | more strict syntax, according to manual; | changeset | files |
| Mon, 20 Aug 2012 08:40:18 +0200 | nipkow | abstracted lemma | changeset | files |
| Sun, 19 Aug 2012 19:31:45 +0200 | wenzelm | retain unknown options within preferences; | changeset | files |
| Sun, 19 Aug 2012 18:01:25 +0200 | wenzelm | more comprehensible platform family name; | changeset | files |
| Sun, 19 Aug 2012 17:51:41 +0200 | wenzelm | tuned message; | changeset | files |
| Sun, 19 Aug 2012 17:33:00 +0200 | wenzelm | fewer components, more roots; | changeset | files |
| Sun, 19 Aug 2012 17:21:34 +0200 | wenzelm | actually remove makeall (cf. 292b97e17fb7); | changeset | files |
| Fri, 17 Aug 2012 21:16:13 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 17 Aug 2012 21:15:36 +0200 | wenzelm | Backed out changeset ec82c33c75f8; | changeset | files |
| Fri, 17 Aug 2012 20:31:12 +0200 | webertj | Typo fixed. | changeset | files |
| Fri, 17 Aug 2012 19:11:51 +0200 | wenzelm | merged | changeset | files |
| Fri, 17 Aug 2012 11:32:20 +0200 | nipkow | merged | changeset | files |
| Fri, 17 Aug 2012 08:56:08 +0200 | nipkow | fixed lemmas | changeset | files |