diff 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 diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/design/.texlipse	Fri Apr 29 16:51:33 2011 +0200
@@ -0,0 +1,13 @@
+#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=