doc-src/IsarTut/Makefile
2002-06-05 wenzelm initial setup;
less more (0) tip