Mercurial > hg > truffle
annotate doc/design/.texlipse @ 2655:df5de2a207ca
Removed constant value utility of LoadField.
author | Thomas Wuerthinger <thomas@wuerthinger.net> |
---|---|
date | Wed, 11 May 2011 15:16:43 +0200 |
parents | 765dd54244a6 |
children |
rev | line source |
---|---|
2561
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
1 #TeXlipse project settings |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
2 #Fri Apr 29 14:13:11 CEST 2011 |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
3 builderNum=2 |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
4 outputDir= |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
5 makeIndSty= |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
6 bibrefDir= |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
7 outputFormat=pdf |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
8 tempDir=tmp |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
9 mainTexFile=graal_compiler.tex |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
10 outputFile=graal_compiler.pdf |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
11 langSpell=en |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
12 markDer=true |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
13 srcDir= |