doc-src/Main/Makefile
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2009-03-11 wenzelm 2009-03-11 basic setup for "main" as generated Isabelle manual;
2009-03-11 nipkow 2009-03-11 Added "What's in Main" to doc sources