Thu, 15 May 2008 20:02:42 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |
Wed, 15 Jun 2005 09:01:15 +0200 | nipkow | documented DUMMY | file | diff | annotate |
Sat, 30 Apr 2005 02:45:17 +0200 | kleing | move generated files to document/ to avoid CVS file overwrite in generated/ | file | diff | annotate |
Thu, 14 Apr 2005 09:19:55 +0200 | kleing | fix: added path to garbage | file | diff | annotate |
Thu, 14 Apr 2005 08:52:46 +0200 | kleing | added Makefile and generated files to make document available for makedist | file | diff | annotate |