comparison 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
comparison
equal deleted inserted replaced
2560:8902c4c20c69 2561:765dd54244a6
1 #TeXlipse project settings
2 #Fri Apr 29 14:13:11 CEST 2011
3 builderNum=2
4 outputDir=
5 makeIndSty=
6 bibrefDir=
7 outputFormat=pdf
8 tempDir=tmp
9 mainTexFile=graal_compiler.tex
10 outputFile=graal_compiler.pdf
11 langSpell=en
12 markDer=true
13 srcDir=