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 |
Tue, 04 May 1999 18:03:56 +0200 | wenzelm | used to be part of 'logics' manual; | file | diff | annotate |