src/Pure/Isar/isar_output.ML
Mon, 04 Sep 2000 18:38:53 +0200 wenzelm display: avoid empty lines;
Wed, 30 Aug 2000 17:54:26 +0200 wenzelm added "source" option;
Tue, 29 Aug 2000 20:14:16 +0200 wenzelm added "name" antiq and "indent" option;
Thu, 03 Aug 2000 00:41:07 +0200 wenzelm typ_no_norm;
Sat, 01 Jul 2000 19:44:16 +0200 wenzelm added options "eta_contract", "long_names";
Fri, 30 Jun 2000 21:21:11 +0200 wenzelm help_antiquotations;
Sun, 25 Jun 2000 23:57:29 +0200 wenzelm Isar theory output.
less more (0) tip