isabelle: Changelog

wenzelm [Wed, 31 Aug 2005 15:46:30 +0200] rev 17193

* Delimiters of outer tokens now produce separate LaTeX macros; * isatool usedir: option -C (default true) controls copying of document directory;

haftmann [Wed, 31 Aug 2005 09:37:12 +0200] rev 17192

introduced AList.*

haftmann [Wed, 31 Aug 2005 09:01:45 +0200] rev 17191

better map_entry

schirmer [Tue, 30 Aug 2005 21:32:10 +0200] rev 17190

fixed bug in record_type_abbr_tr'

paulson [Tue, 30 Aug 2005 12:47:53 +0200] rev 17189

patterns in setsum and setprod

obua [Mon, 29 Aug 2005 16:51:39 +0200] rev 17188

Updated import.

wenzelm [Mon, 29 Aug 2005 16:25:24 +0200] rev 17187

updated;

wenzelm [Mon, 29 Aug 2005 16:18:07 +0200] rev 17186

delimiter markup for verbatim tokens;

wenzelm [Mon, 29 Aug 2005 16:18:06 +0200] rev 17185

clarify type tok, do not emit markup flag for suppressed tokens;

wenzelm [Mon, 29 Aug 2005 16:18:04 +0200] rev 17184

use AList operations;

isabelle