Mon, 02 Aug 1999 11:24:30 +0200 the SVC link-up
paulson [Mon, 02 Aug 1999 11:24:30 +0200] rev 7143
the SVC link-up
Mon, 02 Aug 1999 11:24:01 +0200 new files for the SVC link-up
paulson [Mon, 02 Aug 1999 11:24:01 +0200] rev 7142
new files for the SVC link-up
Fri, 30 Jul 1999 18:27:25 +0200 even more stuff;
wenzelm [Fri, 30 Jul 1999 18:27:25 +0200] rev 7141
even more stuff;
Fri, 30 Jul 1999 15:59:00 +0200 oracle: '=';
wenzelm [Fri, 30 Jul 1999 15:59:00 +0200] rev 7140
oracle: '=';
Fri, 30 Jul 1999 15:57:50 +0200 added \text;
wenzelm [Fri, 30 Jul 1999 15:57:50 +0200] rev 7139
added \text;
Fri, 30 Jul 1999 15:57:27 +0200 Isabelle/Isar macros;
wenzelm [Fri, 30 Jul 1999 15:57:27 +0200] rev 7138
Isabelle/Isar macros;
Fri, 30 Jul 1999 15:56:58 +0200 hacking the rail package;
wenzelm [Fri, 30 Jul 1999 15:56:58 +0200] rev 7137
hacking the rail package;
Fri, 30 Jul 1999 15:56:33 +0200 added update_thy_only;
wenzelm [Fri, 30 Jul 1999 15:56:33 +0200] rev 7136
added update_thy_only; moved update_thy;
Fri, 30 Jul 1999 15:40:54 +0200 more;
wenzelm [Fri, 30 Jul 1999 15:40:54 +0200] rev 7135
more;
Fri, 30 Jul 1999 14:59:32 +0200 more stuff;
wenzelm [Fri, 30 Jul 1999 14:59:32 +0200] rev 7134
more stuff;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip