Activity for Steffen Kuche
-
Steffen Kuche committed [r3850]
Consideration of null worlds
-
Consideration of null worlds
-
The generation of a report now also works, when...
-
More general Exception handling
-
The AGG knowledge base is now written to the ou...
-
With the help of a new configuration option it ...
-
Increments of the uml class diagrams
-
Deletion of an unneeded jar
-
Limitation of the maximum width of text to prov...
-
Deleted the class FopclTest
-
Set comiler level to 1.6.
-
implemented an equals() method for FolFormulas,...
-
Improvements of the navigation. Cleaned up the ...
-
System.out entfernt
-
Fehler in der Anbindung des "Optimized Solvers"...
-
- It is now configurable if the model (the join...
-
Adaptions for the FO-PCL plugin.
-
It is now possible to get the world number of a...
-
- creation of conditional structures for every ...
1