Tue, 15 Jan 2019 21:31:20 +0100 moved and renamed class
nipkow [Tue, 15 Jan 2019 21:31:20 +0100] rev 69663
moved and renamed class
Tue, 15 Jan 2019 20:03:53 +0100 added command 'export_generated_files';
wenzelm [Tue, 15 Jan 2019 20:03:53 +0100] rev 69662
added command 'export_generated_files'; clarified signature;
Mon, 14 Jan 2019 18:35:03 +0000 tuned proofs
haftmann [Mon, 14 Jan 2019 18:35:03 +0000] rev 69661
tuned proofs
Mon, 14 Jan 2019 18:33:53 +0000 canonical operation to typeset generated code makes dedicated environment obsolete
haftmann [Mon, 14 Jan 2019 18:33:53 +0000] rev 69660
canonical operation to typeset generated code makes dedicated environment obsolete
Mon, 14 Jan 2019 18:33:52 +0000 tuned
haftmann [Mon, 14 Jan 2019 18:33:52 +0000] rev 69659
tuned
Mon, 14 Jan 2019 18:33:48 +0000 tuned language
haftmann [Mon, 14 Jan 2019 18:33:48 +0000] rev 69658
tuned language
Mon, 14 Jan 2019 16:47:29 +0100 merged
nipkow [Mon, 14 Jan 2019 16:47:29 +0100] rev 69657
merged
Mon, 14 Jan 2019 16:47:16 +0100 tuned
nipkow [Mon, 14 Jan 2019 16:47:16 +0100] rev 69656
tuned
Mon, 14 Jan 2019 16:10:56 +0100 root_val -> value
nipkow [Mon, 14 Jan 2019 16:10:56 +0100] rev 69655
root_val -> value
Mon, 14 Jan 2019 14:46:12 +0100 uniform naming
nipkow [Mon, 14 Jan 2019 14:46:12 +0100] rev 69654
uniform naming
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip