isabelle: Changelog

wenzelm [Thu, 09 Jun 2011 17:46:25 +0200] rev 43325

some attempts at robust \isaspacing so that \isa{...} can be used in section headings etc. (need to avoid `\? for some reason);

wenzelm [Thu, 09 Jun 2011 16:34:49 +0200] rev 43324

discontinued Name.variant to emphasize that this is old-style / indirect;

wenzelm [Thu, 09 Jun 2011 15:38:49 +0200] rev 43323

prefer new-style Name.invents;

wenzelm [Thu, 09 Jun 2011 15:37:37 +0200] rev 43322

more tight name invention -- avoiding old functions;

wenzelm [Thu, 09 Jun 2011 11:26:25 +0200] rev 43321

\frenchspacing for formal isabelle style avoids extra space in situations like ``@{text "?"}'' followed by plain text;

wenzelm [Thu, 09 Jun 2011 10:59:25 +0200] rev 43320

tuned;

bulwahn [Thu, 09 Jun 2011 10:43:42 +0200] rev 43319

NEWS

bulwahn [Thu, 09 Jun 2011 10:19:51 +0200] rev 43318

correcting import theory of examples

bulwahn [Thu, 09 Jun 2011 09:07:13 +0200] rev 43317

fixing code generation test

bulwahn [Thu, 09 Jun 2011 08:32:22 +0200] rev 43316

removing char setup

isabelle