src/Pure/ProofGeneral/pgml_isabelle.ML
Mon, 23 Jul 2007 16:45:03 +0200 wenzelm PrintMode.with_modes;
Thu, 12 Jul 2007 00:15:38 +0200 wenzelm added skeleton for print_mode setup;
Fri, 06 Jul 2007 17:52:52 +0200 aspinall Produce good PGML 2.0
Wed, 04 Jul 2007 21:20:23 +0200 aspinall PGML abstraction, draft version
less more (0) tip