wenzelm [Mon, 20 Aug 2012 17:05:53 +0200] rev 49882
some support for inlining file content into outer syntax token language;
wenzelm [Mon, 20 Aug 2012 15:43:10 +0200] rev 49881
tuned comment;
wenzelm [Mon, 20 Aug 2012 14:23:20 +0200] rev 49880
tuned;
wenzelm [Mon, 20 Aug 2012 14:09:09 +0200] rev 49879
added keyword kind "thy_load" (with optional list of file extensions);
wenzelm [Mon, 20 Aug 2012 13:58:06 +0200] rev 49878
updated generated files;
wenzelm [Mon, 20 Aug 2012 13:39:41 +0200] rev 49877
more strict syntax, according to manual;
nipkow [Mon, 20 Aug 2012 08:40:18 +0200] rev 49876
abstracted lemma
wenzelm [Sun, 19 Aug 2012 19:31:45 +0200] rev 49875
retain unknown options within preferences;
tuned print;
wenzelm [Sun, 19 Aug 2012 18:01:25 +0200] rev 49874
more comprehensible platform family name;
wenzelm [Sun, 19 Aug 2012 17:51:41 +0200] rev 49873
tuned message;