Mercurial > hg > truffle
annotate graal/com.oracle.max.graal.doc.initial/.texlipse @ 2958:4a64ffd60c03
IdealGraphVisualizer: revise quick search to be case-insensitive, to perform a string search in the "name" property when no other property key is specified, and to handle regular expressions that are malformed because of editing in progress
author | Peter Hofer <peter.hofer@jku.at> |
---|---|
date | Wed, 15 Jun 2011 17:41:00 +0200 |
parents | 5005a5607506 |
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= |