equal
deleted
inserted
replaced
1 description = Isabelle/Scala |
1 title = Isabelle/Scala |
2 lib = lib/classes |
2 module = $ISABELLE_HOME/lib/classes/isabelle.jar |
3 name = isabelle |
|
4 main = isabelle.jedit.Main |
3 main = isabelle.jedit.Main |
5 resources = \ |
4 resources = \ |
6 lib/services/java.nio.charset.spi.CharsetProvider:META-INF/services/ \ |
5 lib/services/java.nio.charset.spi.CharsetProvider:META-INF/services/ \ |
7 lib/logo/isabelle_transparent-32.gif:isabelle/ \ |
6 lib/logo/isabelle_transparent-32.gif:isabelle/ \ |
8 lib/logo/isabelle_transparent.gif:isabelle/ |
7 lib/logo/isabelle_transparent.gif:isabelle/ |