annotate graal/com.oracle.max.graal.doc.initial/.texlipse @ 2977:f01de7799e05

Updated hgignore.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 15 Jun 2011 17:54:31 +0200
parents 5005a5607506
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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=