abea5b72e7b5407165c4f7b4c5b5be47150be406 |
|
07-Apr-2018 |
mscodescu <mscodescu@gmail.com> |
explain origin of sentences |
ec60f8ca1475c7be6b0187e389472ff3dad7a2ea |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
Id -> IRI in origin, and removed import |
60f44dea9307ec68890675c3d4e0314ee40750a6 |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
renamed selector to avoid warning |
4f3a84cb1b7e55ce38df8f4ac71d06b574b23cb1 |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
origin of sentences |
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 |
2021aab879998f80e04855eb20812415b1aa8926 |
|
27-Jan-2015 |
cmaeder <c.maeder@jacobs-university.de> |
changed indentation and spacing |
6b528c4cf589cd5010c678770f023ae5250d6c67 |
|
27-Jan-2015 |
mcodescu <mscodescu@gmail.com> |
trailing spaces and eta correction |
6538c7b76c51c5c4de59b9cb19941cd2f4202ef3 |
|
27-Jan-2015 |
mcodescu <mscodescu@gmail.com> |
added priority annotation to xml export |
dc62afbf79603699b39b2387f48298634f642e67 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
copied changes for dol-parsing into new branch |
39f54506ddf420d74afeeec4065ebf7222aca364 |
|
31-Oct-2014 |
SillyCodeValley <SillyCodeValley@users.noreply.github.com> |
Revert "1366 dol parsing" |
2f45f77de179ecc1644af89dfa61b9b3b129be4d |
|
27-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added %wdef |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
faaa40307f4d95b3737ea714a1cf13bd79108a70 |
|
24-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added mark functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18560 cec4b9c1-7d33-0410-9eda-942365e851bb |
80b1e7cd6565f9eceb8c8b4fa15defe610250a99 |
|
24-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added sentence mark for theoroidal comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18558 cec4b9c1-7d33-0410-9eda-942365e851bb |
e38c33b7d735aef772073840f856bfd9a42df317 |
|
19-Feb-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
rewrote partPrefixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17757 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0916b96ca9f90822c0bb6062b13d5de83bf410a |
|
03-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
recognize IRIs for "logic" and "serialization"
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17475 cec4b9c1-7d33-0410-9eda-942365e851bb |
f04a144ec0ad002400f820bd857352c2cc7c5e9d |
|
12-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused string list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16798 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea39a854498febb718cbdd6035fb935fd145daac |
|
06-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added DOL-parser, serialization syntax, prefix-map into GlobalAnnotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16768 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbf451d7280abc714a0276d57c8a6a24a913e8ec |
|
19-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized reName and used block comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16334 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
0739fc09bc94ded605610751fab12f669e1135ba |
|
22-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected spelling of preceding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13374 cec4b9c1-7d33-0410-9eda-942365e851bb |
662d733158fbedc2f128f0f39c7d4f93dc1f2574 |
|
27-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added additional field attrOrigin for SenAttr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13008 cec4b9c1-7d33-0410-9eda-942365e851bb |
20ba5fe63cd6e2b5cbed5323d47842fac2f40cd7 |
|
19-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extract name from annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12849 cec4b9c1-7d33-0410-9eda-942365e851bb |
6bcdf8fc684a7a2d03f41bba002cfeaa0fbe023c |
|
09-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12805 cec4b9c1-7d33-0410-9eda-942365e851bb |
c169af7c97f636424adc459c9c7f145383186046 |
|
19-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added range functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12165 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1ac1802fdadaa0109fbbe40ff207619831c5ef0 |
|
12-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
extended the interface for the item generation and added remark for replaceAnno
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12098 cec4b9c1-7d33-0410-9eda-942365e851bb |
2d18bcb54ce0eb34cd48b12ec91172947fe14d0b |
|
11-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
item: a new intermediate format to represent the syntactic structure, added a functor instance for Annoted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12088 cec4b9c1-7d33-0410-9eda-942365e851bb |
6cc0d8b77759c557e7d9459cd2734625a4db78b9 |
|
12-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11251 cec4b9c1-7d33-0410-9eda-942365e851bb |
bccea164bdfc2ddc3d1e20749bb5477a46eab3a6 |
|
03-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed Anno_Parser to AnnoParser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11205 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd76babe3b76d62cb6d63a91d02ca528c0a8b428 |
|
30-Oct-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10922 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad0088483a1aa457afc0450f12f49701d1617ed2 |
|
24-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced wrong u-umlaut
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10889 cec4b9c1-7d33-0410-9eda-942365e851bb |
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
globally replaced PosItem and UpPos with GetRange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10298 cec4b9c1-7d33-0410-9eda-942365e851bb |
05a206508bc898f87fe6ab6e069814df3c29d303 |
|
28-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Parser for Rel Scheme is Ready...
Instantiation as Logic for Rel has begun
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9667 cec4b9c1-7d33-0410-9eda-942365e851bb |
021d7137df04ec1834911d99d90243a092841ced |
|
25-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
considered %simp and %nosimp annotations #170
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9085 cec4b9c1-7d33-0410-9eda-942365e851bb |
3052331838145bacc841740d8a123118e553cba5 |
|
25-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a field to Named for simplifier annotations #170
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9084 cec4b9c1-7d33-0410-9eda-942365e851bb |
135bcb7f65991146c103e5e7599adbc49fe7359d |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced senName with senAttr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8627 cec4b9c1-7d33-0410-9eda-942365e851bb |
e83ed59502a681713982f25c559aae77a4145734 |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8487 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
61091743da1a9ed6dfd5e077fdcc972553358962 |
|
04-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized Named to SenAttr to be useable by Logic.Prover as well
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7784 cec4b9c1-7d33-0410-9eda-942365e851bb |
c44c23429c72f3a709e22a18f2ed6f05fc8cc765 |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed emptyName to makeNamed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7782 cec4b9c1-7d33-0410-9eda-942365e851bb |
65835942d66905c377fa503e0d577df5aade58fe |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized emptyName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7775 cec4b9c1-7d33-0410-9eda-942365e851bb |
1686123f83910af58fba6c996bf7264702b3bc45 |
|
31-Mar-2007 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Imported theorems are marked with '(Th)' for proofs in ProofManagementGUI. Record types Logic.Prover.SenStatus and Common.AS_Annotation.Named were extended by field wasTheorem.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7765 cec4b9c1-7d33-0410-9eda-942365e851bb |
7106e81924a4179bcda991859e500c73b3645e7e |
|
01-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7571 cec4b9c1-7d33-0410-9eda-942365e851bb |
41fc6dd4a0f3baf96ebdad84c2e3fdeddefbe84b |
|
28-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed multiline labels as list of words
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7566 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
d543cf2bb0c810781625c76fe135476d46270d88 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7285 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad99f1bab6f105b39940ffce003d5876afb6813c |
|
09-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Ord instances for Annotation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7144 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5ccce620f06c1db84e14a690312954e8d7652f8 |
|
10-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected typo in comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5792 cec4b9c1-7d33-0410-9eda-942365e851bb |
5446bb8eec1ac2d664fad5298ebb95da76b22a09 |
|
08-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added reName, emptyAnno, rather derived Eq instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5501 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3e57a836e7b66c103ead8332333365e035cc5f6 |
|
01-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed swap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5481 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
249f26004f765b567a9678fec30ecb3643a0cdb8 |
|
27-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed back default of isAxiom
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5082 cec4b9c1-7d33-0410-9eda-942365e851bb |
42626cd6acc59504dff56b5b81043c272778c5fb |
|
23-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored proof status info for sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5063 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c6d4005240e070a2b9fe9aaf28631328a1b0884 |
|
12-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected proof status for DG node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5010 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f3619012bed26cf7470d12e80cf7fdc4192e0d4 |
|
27-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended for implied annos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4802 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfa74d066ea0f00a70276aedecc624c6b3c86dea |
|
11-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended data type Named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4251 cec4b9c1-7d33-0410-9eda-942365e851bb |
657542830709ac61a4079e93de6ef8bd4109d612 |
|
15-Apr-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4066 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9342ff9911f5392f355c0fb2b00155850206851 |
|
18-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to pfe typecheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3450 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a7b7802544aa94828d7f4e7be5788501c572934 |
|
14-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Prover interface cont'd
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2276 cec4b9c1-7d33-0410-9eda-942365e851bb |
242691238a8d1a89581751d782af87ec5d7470c0 |
|
23-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added translation of Grothendieck sentence lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2219 cec4b9c1-7d33-0410-9eda-942365e851bb |
306014675f76e6e6986e94afda313fe8564ab2e2 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moves Named to AS_Annotation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2191 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9e67f746294e44de678a3807e09247d0693490c |
|
20-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up some Maybe stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1974 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
94906adb12ae3a4701828e4bf19efc6f9faa4be9 |
|
18-Jul-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added the implied semantic annotation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1556 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5a644d593fc653a5476f9b3efffe1d34693f1e4 |
|
20-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced mapAnnoted with mapAnM (and reordered)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1511 cec4b9c1-7d33-0410-9eda-942365e851bb |
81f0a70a31ca2d82ad55b07ccc4fc8df23f50cba |
|
16-May-2003 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
changed Eq-instance for Annotation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1399 cec4b9c1-7d33-0410-9eda-942365e851bb |
e379124f467e5d0ef7d3c0ca238bff0521f70831 |
|
16-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Static analysis now returns new AS tree (with analysed axioms).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1397 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c259b375b3bae49f2ff835a42211687173cd8b7 |
|
12-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed getRLabel to return a String without newline
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1381 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ad35a74625fc2cf5fb3a2238259ed4d7b2501fc |
|
09-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed wrong Eq instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1372 cec4b9c1-7d33-0410-9eda-942365e851bb |
800b9ba7165b21cf4295a8ca47e2de27ecf18466 |
|
09-May-2003 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
Eq-instances for Annotations added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1369 cec4b9c1-7d33-0410-9eda-942365e851bb |
59ee866cc0ff0a15cbb7046ac5038d428218bfac |
|
05-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added two functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1323 cec4b9c1-7d33-0410-9eda-942365e851bb |
d7c6e3a9a84db6448c585989d7040c16e81d85bb |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added map function for Annoted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1258 cec4b9c1-7d33-0410-9eda-942365e851bb |
f663099199f560ba15d032c534a41a1a2bb3c1f3 |
|
14-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed application notation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1247 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6396e44eaa0b3b93f96ed9b9e08c4396dd08bf |
|
14-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment, changed zip to map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1246 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd38bafd384f5a5bc9634aad395505a0fd74395a |
|
10-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured AS_Annotation.der.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1238 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a97550423a513fe8bc58750ac333330cfdd8e3d |
|
01-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a function to extract a following label
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1173 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
9929f81562adecc8aafaefb14a0159afcf4a3351 |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@941 cec4b9c1-7d33-0410-9eda-942365e851bb |