isabelle: Changelog

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;

wenzelm [Mon, 29 Aug 2005 16:18:03 +0200] rev 17183

cover tagged command regions; tuned;

wenzelm [Mon, 29 Aug 2005 16:18:02 +0200] rev 17182

tune spacing where a generated theory text is included directly;

wenzelm [Mon, 29 Aug 2005 11:44:23 +0200] rev 17181

updated;

wenzelm [Mon, 29 Aug 2005 10:28:17 +0200] rev 17180

recover original definitions of \isactrlsub etc.;

haftmann [Mon, 29 Aug 2005 08:34:24 +0200] rev 17179

canonical interface for 'default'

wenzelm [Sun, 28 Aug 2005 19:48:15 +0200] rev 17178

output \<^loc> as 'loc' span; tuned;

isabelle