adding MMT and updates to docmanager
Showing
- mmt/.classpath 27 additions, 0 deletionsmmt/.classpath
- mmt/.project 23 additions, 0 deletionsmmt/.project
- mmt/.settings/org.eclipse.jdt.core.prefs 5 additions, 0 deletionsmmt/.settings/org.eclipse.jdt.core.prefs
- mmt/.settings/org.eclipse.m2e.core.prefs 4 additions, 0 deletionsmmt/.settings/org.eclipse.m2e.core.prefs
- mmt/pom.xml 127 additions, 0 deletionsmmt/pom.xml
- mmt/src/main/java/info/kwarc/sally4/mmt/MMT.java 5 additions, 0 deletionsmmt/src/main/java/info/kwarc/sally4/mmt/MMT.java
- mmt/src/main/java/info/kwarc/sally4/mmt/TestMain.java 23 additions, 0 deletionsmmt/src/main/java/info/kwarc/sally4/mmt/TestMain.java
- mmt/src/main/java/info/kwarc/sally4/planetary/mmt/PlanetaryConnectionImpl.java 29 additions, 0 deletions...o/kwarc/sally4/planetary/mmt/PlanetaryConnectionImpl.java
- start.sh 1 addition, 0 deletionsstart.sh
Loading
Please register or sign in to comment