| Mon, 08 Nov 2010 11:28:22 +0100 | wenzelm | more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour; | file | diff | annotate |
| Sun, 07 Nov 2010 22:51:16 +0100 | wenzelm | basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols; | file | diff | annotate |
| Thu, 23 Sep 2010 13:25:01 +0200 | haftmann | reverted cs 5aced2f43837 -- no need for hardwired latex command here | file | diff | annotate |
| Mon, 20 Sep 2010 09:19:13 +0200 | haftmann | \\isatypewrite now part of isabelle latex style | file | diff | annotate |
| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 24 Jun 2008 19:43:12 +0200 | wenzelm | added isaantiqopen/close; | file | diff | annotate |
| Thu, 18 Oct 2007 14:30:55 +0200 | wenzelm | DeclareRobustCommand \isactrlbsub/esub etc.; | file | diff | annotate |