isabelle: Changelog

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

added option -C: copy existing document directory;

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.

isabelle