Fixed references to propity.

urbas · Oct 5, 2014 · d0802f4 · d0802f4
1 parent 225f73d
commit d0802f4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/devel/MixR/pom.xml b/devel/MixR/pom.xml
@@ -11,9 +11,9 @@
 
     <dependencies>
         <dependency>
-            <groupId>propity</groupId>
+            <groupId>si.urbas</groupId>
             <artifactId>propity</artifactId>
-            <version>1.0-SNAPSHOT</version>
+            <version>0.0.1</version>
         </dependency>
     </dependencies>
 

diff --git a/pom.xml b/pom.xml
@@ -13,10 +13,6 @@
         <module>libs/IsabelleScala</module>
         <module>libs/MixRIsabelleApi</module>
         <module>libs/SpeedithIsabelleTranslator</module>
-        <module>Propity</module>
-        <module>../iCircles/iCircles</module>
-        <module>../speedith/Speedith.Core</module>
-        <module>../speedith/Speedith.Gui</module>
         <module>devel/MixR</module>
         <module>devel/drivers/IsabelleMixRDriver</module>
         <module>devel/drivers/SpeedithMixRDriver</module>