view doc/design/.texlipse @ 2561:765dd54244a6

Updated doc. Added Texclipse project.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Fri, 29 Apr 2011 16:51:33 +0200
parents
children
line wrap: on
line source

#TeXlipse project settings
#Fri Apr 29 14:13:11 CEST 2011
builderNum=2
outputDir=
makeIndSty=
bibrefDir=
outputFormat=pdf
tempDir=tmp
mainTexFile=graal_compiler.tex
outputFile=graal_compiler.pdf
langSpell=en
markDer=true
srcDir=