nipkow [Wed, 14 Apr 2004 15:09:51 +0200] rev 14566
corrected PG url in comment
kleing [Wed, 14 Apr 2004 14:13:05 +0200] rev 14565
use more symbols in HTML output
wenzelm [Wed, 14 Apr 2004 13:28:46 +0200] rev 14564
renamed have_thms to note_thms;
wenzelm [Wed, 14 Apr 2004 13:26:27 +0200] rev 14563
tuned;
wenzelm [Wed, 14 Apr 2004 13:25:51 +0200] rev 14562
proper handling of lines terminated by CRLF or CR;
schirmer [Wed, 14 Apr 2004 12:19:16 +0200] rev 14561
* raw control symbols are of the form \<^raw:...> now.
* again allowing symbols to begin with "\\" instead of "\" for
compatibility with ML-strings of old style theory and ML-files and
isa-ProofGeneral.
berghofe [Wed, 14 Apr 2004 11:44:57 +0200] rev 14560
Fixed bug in check_mode_clause.
schirmer [Wed, 14 Apr 2004 10:08:28 +0200] rev 14559
bugfix for \<^raw...> scanner