haftmann [Fri, 10 Aug 2007 17:10:05 +0200] rev 24224
syntax fix
haftmann [Fri, 10 Aug 2007 17:10:04 +0200] rev 24223
corrected code generator module names
haftmann [Fri, 10 Aug 2007 17:10:03 +0200] rev 24222
new structure for code generator modules
haftmann [Fri, 10 Aug 2007 17:10:02 +0200] rev 24221
code generator setup improved
haftmann [Fri, 10 Aug 2007 17:05:26 +0200] rev 24220
adjusted
haftmann [Fri, 10 Aug 2007 17:04:34 +0200] rev 24219
new structure for code generator modules
haftmann [Fri, 10 Aug 2007 17:04:24 +0200] rev 24218
ClassPackage renamed to Class
haftmann [Fri, 10 Aug 2007 17:04:20 +0200] rev 24217
updated
wenzelm [Fri, 10 Aug 2007 15:28:11 +0200] rev 24216
simultaneous use_thys;
paulson [Fri, 10 Aug 2007 15:13:18 +0200] rev 24215
removal of some refs
wenzelm [Fri, 10 Aug 2007 14:49:01 +0200] rev 24214
(un)interruptible: pass-through original thread attributes;
wenzelm [Fri, 10 Aug 2007 11:02:09 +0200] rev 24213
tuned;
added jEdit mode spec;
wenzelm [Fri, 10 Aug 2007 10:54:19 +0200] rev 24212
HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
wenzelm [Fri, 10 Aug 2007 10:41:57 +0200] rev 24211
added jEdit mode spec;
tuned comments;