| ead7fb0fe5492f65c8e47eaa9d5105bffde163f2 |
|
05-Jul-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added parser feature: module exclusion lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15455 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d53747c386354ff7db8629dfdf20f44a7c4d715d |
|
22-Jun-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed CommonLogic parser propositional logic issue
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15243 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9a4b469ca0a7f44a598e551a973c75195207db58 |
|
16-Jun-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed CommonLogic/Sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15166 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bdbe06eab641ea31682220252b728d421e4c028e |
|
14-Jun-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
CommonLogic: added DiscourseItems to Sign, added Sublogic.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15116 cec4b9c1-7d33-0410-9eda-942365e851bb |