testboard: Changelog

wenzelm [Tue, 21 Aug 2012 12:15:25 +0200] rev 48870

clarified initialization of Thy_Load, Thy_Info, Session;

wenzelm [Tue, 21 Aug 2012 11:00:54 +0200] rev 48869

tuned;

wenzelm [Mon, 20 Aug 2012 21:52:31 +0200] rev 48868

more robust cleaning of "% tag" and "-- cmt";

wenzelm [Mon, 20 Aug 2012 17:05:53 +0200] rev 48867

some support for inlining file content into outer syntax token language;

wenzelm [Mon, 20 Aug 2012 15:43:10 +0200] rev 48866

tuned comment;

wenzelm [Mon, 20 Aug 2012 14:23:20 +0200] rev 48865

tuned;

wenzelm [Mon, 20 Aug 2012 14:09:09 +0200] rev 48864

added keyword kind "thy_load" (with optional list of file extensions);

wenzelm [Mon, 20 Aug 2012 13:58:06 +0200] rev 48863

updated generated files;

wenzelm [Mon, 20 Aug 2012 13:39:41 +0200] rev 48862

more strict syntax, according to manual;

nipkow [Mon, 20 Aug 2012 08:40:18 +0200] rev 48861

abstracted lemma

testboard