1.1 --- a/src/Tools/jEdit/nbproject/project.xml	Tue Jan 11 15:28:03 2011 +0100
     1.2 +++ b/src/Tools/jEdit/nbproject/project.xml	Sun Feb 06 18:30:28 2011 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4      <type>org.netbeans.modules.scala.project</type>
     1.5      <configuration>
     1.6          <data xmlns="http://www.netbeans.org/ns/scala-project/1">
     1.7 -            <name>Isabelle-jEdit</name>
     1.8 +            <name>Isac</name>
     1.9              <minimum-ant-version>1.6.5</minimum-ant-version>
    1.10              <source-roots>
    1.11                  <root id="src.dir"/>