isabelle: Changelog

wenzelm [Thu, 01 Sep 2005 22:15:10 +0200] rev 17223

curried_lookup/update; tuned;

wenzelm [Thu, 01 Sep 2005 18:48:54 +0200] rev 17222

added curried_lookup/update operations -- in preparation of currying plain lookup/update;

wenzelm [Thu, 01 Sep 2005 18:48:50 +0200] rev 17221

curried_lookup/update;

wenzelm [Thu, 01 Sep 2005 16:19:02 +0200] rev 17220

updated;

wenzelm [Thu, 01 Sep 2005 15:58:11 +0200] rev 17219

renamed 'thms_containing' to 'find_theorems' -- keep old version for the time being;

wenzelm [Thu, 01 Sep 2005 15:58:10 +0200] rev 17218

removed obsolete 'symbols' mode;

wenzelm [Thu, 01 Sep 2005 15:58:08 +0200] rev 17217

added PGASCII print_mode, which represents special chars as ASCII 1 + A ... Z; tuned;

paulson [Thu, 01 Sep 2005 11:45:54 +0200] rev 17216

improved formatting

wenzelm [Thu, 01 Sep 2005 00:46:14 +0200] rev 17215

isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;

wenzelm [Thu, 01 Sep 2005 00:45:24 +0200] rev 17214

updated;

isabelle