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
kleing [Wed, 14 Apr 2004 09:53:25 +0200] rev 14558
prod and sum
schirmer [Tue, 13 Apr 2004 23:08:12 +0200] rev 14557
* cleaner distinction between control symbols "\<^...>" and "\<^raw...>" in
the scanner
* output functions default_output and xsymbols_output
only print one "\" for symbols (to be consistent with the scanner).
wenzelm [Tue, 13 Apr 2004 20:31:55 +0200] rev 14556
* Calculation commands "moreover" and "also" no longer interfere with
current facts ("this"), admitting arbitrary combinations with "then"
and derived forms.