Mon, 02 May 2011 21:33:21 +0200 | wenzelm | moved material about old codegen to isar-ref manual; | file | diff | annotate |
Sun, 01 May 2011 17:55:29 +0200 | wenzelm | include static rail files for old manuals, to make standard make job independent of the "rail" executable; | file | diff | annotate |