ProgTutorial/antiquote_setup.ML
Sat, 30 May 2009 17:40:20 +0200 Christian Urban added some first index-information
Sat, 30 May 2009 11:12:46 +0200 Christian Urban added infrastructure for index; antiquotations have now the options [index] and [indexc]
Wed, 25 Mar 2009 15:09:04 +0100 Christian Urban soem slight polishing
Thu, 19 Mar 2009 13:28:16 +0100 Christian Urban made more of the transition from "CookBook" to "ProgTutorial"
less more (0) tip