-
- Downloads
added options for qepcad
- one can now specify the saclib and qesource path in the options...
Showing
- system/de/uka/ilkd/key/dl/arithmetics/impl/qepcad/Options.java 170 additions, 0 deletions...m/de/uka/ilkd/key/dl/arithmetics/impl/qepcad/Options.java
- system/de/uka/ilkd/key/dl/arithmetics/impl/qepcad/OptionsBeanInfo.java 117 additions, 0 deletions.../ilkd/key/dl/arithmetics/impl/qepcad/OptionsBeanInfo.java
- system/de/uka/ilkd/key/dl/arithmetics/impl/qepcad/ProgramCommunicator.java 17 additions, 8 deletions...d/key/dl/arithmetics/impl/qepcad/ProgramCommunicator.java
- system/resources/hybridkey.xml 1 addition, 0 deletionssystem/resources/hybridkey.xml
Loading
Please register or sign in to comment