xref/hets/driver.py

	driver.py revision 1516
tree 1516:

DrIFT-src/
DtdToHaskell-src/
GenerateRules/
LiveCD/
Mac.txt
add-dir-tree-to-hets-lib.sh
appendHaskellPreludeString.hs
build_version.pl
casl.sty
checkSource.sh
createKeywordDecls.hs
debian/
dol2het.pl
el/
findHs.sh
getDailyHets.sh
globallyInstallGhcPgk.sh
header_script/
hetcasl.sty
install.sh
installHetsPkgs.sh
installPkg.sh
itcor/
java_version.java
lstcasl.sty
macports/
mkcrypt.pl
nightly/
post_process_docs.pl
quickcheck
quickcheck.lhs
refactor.sh
replaceAllHeaders.sh
sysname.sh
test_lst.tex
uninstall.sh
updateReleaseLinks.sh
words.pl