1 # this is a generated file - do not edit!
2
3 DISTNAME=Isabelle2005
4 DISTIDENT=Isabelle2005
5 DISTBASE=/home/proj/isabelle/dist/dist-Isabelle2005