e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
4b6f280e8992163cf4427255ce0f705162917991 |
|
17-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
supported curried applications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17578 cec4b9c1-7d33-0410-9eda-942365e851bb |
b651ce804b4dfe9a994d7187623d85722894cd69 |
|
17-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to correct sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17577 cec4b9c1-7d33-0410-9eda-942365e851bb |
4509393d91ec000ad848b3b9d80057aacf3913e3 |
|
17-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed funcNoPred sublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17576 cec4b9c1-7d33-0410-9eda-942365e851bb |
c28a343c039916e00ef7a273dc7d3be14a806243 |
|
12-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
swap order of sublogic list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17536 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3750dde95535f7bf85147aa169f211cfcacce2b |
|
12-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored sublogic #1073
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17535 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea570f40967ef8bc16b76c54f9b867a8036cc750 |
|
22-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
flattened Quant_sent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17225 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ee259d9206efc8438502a08bd5746b02b3288c9 |
|
22-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17221 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2d5606ab65ddf48599bd044416de07a205095f2 |
|
19-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
cleaned up AS types for CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17207 cec4b9c1-7d33-0410-9eda-942365e851bb |
7b2c06587c0e51d5f75e5fc856d164ee92f4ed78 |
|
17-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cleaned CommonLogic Code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16850 cec4b9c1-7d33-0410-9eda-942365e851bb |
0fe5514fdf12b7559c1a470cf22d89737d55b0a0 |
|
17-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Documented every exported function in CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16849 cec4b9c1-7d33-0410-9eda-942365e851bb |
66a0cdc950402d55ba633c862287f6fcb52117e4 |
|
20-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
functions returning a predicate are not allowed in the comorphisms any more
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16345 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff5842b1868f06b0d533efeef8ca3a2d5881f634 |
|
17-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
CL2CASLCompact sourceSublogic changed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16305 cec4b9c1-7d33-0410-9eda-942365e851bb |
2de19644821c7d76aa76403754f21046f5519db0 |
|
12-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added sublogic: compact
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16268 cec4b9c1-7d33-0410-9eda-942365e851bb |
cba0aeea95db26960d4d2e5a1dd571f17a5b7ae4 |
|
11-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Common Logic imports reads in the whole file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16249 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ea7fb6b0f66210bc0d3cb995f1b655277b33884 |
|
30-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
prepared support for segregated dialects
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16207 cec4b9c1-7d33-0410-9eda-942365e851bb |
8247c2f9606497ccfc5b4d10b3fcb07d8c0f6074 |
|
27-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
partially fixed pretty printing issue in common logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16186 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3138d7e20d2d6dd26a325b844a8b21b0ecbb602 |
|
27-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
preparation for supporting metarelations between CL-Texts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16179 cec4b9c1-7d33-0410-9eda-942365e851bb |
531ab01db5b35eee69a73572d0443c75a4cbc1b0 |
|
20-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed forgotten sublogic projection
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16147 cec4b9c1-7d33-0410-9eda-942365e851bb |
037be4e5b0e867dd148db2ea89640d8edf009053 |
|
20-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Added Symbol Maps, Symb Map Items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16146 cec4b9c1-7d33-0410-9eda-942365e851bb |
0fefa32a0a32ce300e3a436457f19a04c1ca07f7 |
|
12-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
more use of SoftFOL.Sign in SoftFOL2CL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16117 cec4b9c1-7d33-0410-9eda-942365e851bb |
e3ed0ae47dd551ddd9d74c33fff11b19a23a1d97 |
|
03-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added Prop2CL Comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16086 cec4b9c1-7d33-0410-9eda-942365e851bb |
08e520eb8e9947de926d733c48a13249c857f570 |
|
30-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
BASIC_SPEC may contain many TEXTs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16052 cec4b9c1-7d33-0410-9eda-942365e851bb |
2cff1039d6c94285eb5bf4f0147eef4ce9b944f1 |
|
29-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Sublogics names fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16047 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30c |
|
23-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
changed BASIC_SPEC to a single TEXT, fixed CL-imports for DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16004 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5206f4c00e0ab064bc49a19cad9740781940689 |
|
16-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added parseCLAsLibDefn, re-made CL sublogic projections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15968 cec4b9c1-7d33-0410-9eda-942365e851bb |
99a1bfbb82c875580410b4745617fea2297fdc2b |
|
26-Jul-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Added sublogic to Logic_CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15727 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c10bceb28a74fc291959697e023f22a66753655 |
|
25-Jul-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
CL: BASIC_SPEC now uses TEXT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15694 cec4b9c1-7d33-0410-9eda-942365e851bb |
93796f5bd8317f475737d26cb21781ce4c65a47c |
|
18-Jul-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Some restructurings, CommonLogic2CommonLogic.eliminateModules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15598 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 |