doc-src/Codegen/Thy/document/Evaluation.tex
Sat, 18 Feb 2012 20:13:38 +0100 haftmann update of generated documents
Sun, 03 Jul 2011 09:59:25 +0200 bulwahn adding documentation of the value antiquotation to the code generation manual
Wed, 15 Dec 2010 10:06:36 +0100 haftmann updated generated files
Wed, 15 Dec 2010 09:47:12 +0100 haftmann simplified evaluation function names
Sat, 27 Nov 2010 18:51:15 +0100 haftmann updated generated documents
Mon, 08 Nov 2010 00:00:47 +0100 wenzelm updated generated files;
Wed, 03 Nov 2010 14:14:05 +0100 haftmann fixed typos
Mon, 27 Sep 2010 16:27:31 +0200 haftmann combine quote and typewriter/tt tag
Mon, 27 Sep 2010 08:46:53 +0200 haftmann separate quote tag from tt tag
Fri, 24 Sep 2010 15:53:43 +0200 haftmann tuned schema table
Thu, 23 Sep 2010 08:30:33 +0200 haftmann corrections and tuning
Wed, 22 Sep 2010 10:22:50 +0200 haftmann sections on @{code} and code_reflect
Tue, 21 Sep 2010 14:36:13 +0200 haftmann continued section abut evaluation
Thu, 02 Sep 2010 16:53:23 +0200 haftmann updated
Thu, 19 Aug 2010 18:19:21 +0200 wenzelm added generated file;
less more (0) tip