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 |
80e8fee7c7967fb65d45dd6001c0abca912a603e |
|
12-Mar-2016 |
Till Mossakowski <till@communtu.de> |
implemented parsing and printing for filtering symbol lists |
a0f191b7d1411875b3e964ada9a86d8ac3654dd3 |
|
12-Mar-2016 |
Till Mossakowski <till@communtu.de> |
abstract syntax for filtering with symbol lists |
6a23aec72e2f1364fccd2043672329b6659f842d |
|
26-Feb-2016 |
Till Mossakowski <till@communtu.de> |
fixed #1571 |
32182f55e3ef72971a7ecb40fe15b62cb073998a |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added select and reject keywords and filtering parser |
ecf28362cd00cbc3fe87c086fed5ead1e5d5f5ae |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added keep and forget keywords |
72b8c0349a58cf0eb361cb5bb410d95a0372900a |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
shared Network after combine and as lib-item |
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" |
88aa478b56d02d4fad90a604de2dd12ceef25694 |
|
28-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added extraction |
02d61a52f776972238eef73fa8b752fd15e1f5dd |
|
06-Aug-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
extended parser to allow IDs in combine syntax; ID cannot be just a number
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18124 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5e9dab598c6e36afdfa3bd11aa4d6f1fe2da2bf |
|
16-Jul-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18047 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe30dc1eb6a2817a7ea3bd2894c67a342ac52176 |
|
16-Jul-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
DOL's minimize
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18046 cec4b9c1-7d33-0410-9eda-942365e851bb |
1fd936f22c745583ff70fd7ff6e3397f6bcf3fd9 |
|
31-May-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17985 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 |
232612893bf5b1832ab4ef6dd120714b0a29d131 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared serialisation of theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17250 cec4b9c1-7d33-0410-9eda-942365e851bb |
71deb5c0bac1bacb1a3547461cc27978e0a571a5 |
|
07-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
more changes for default lookup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17127 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f7c47c9fc0ae4ed8c839f25ba795ccb0bab0ada |
|
07-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed lookup for defaults
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17125 cec4b9c1-7d33-0410-9eda-942365e851bb |
de8eee2014437ec4020be15cd363257f87e79943 |
|
06-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored pretty printing for #1050
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17116 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c244f12ab0dc7ba1baf1413266093886a570e13 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended Logic_name to LogicDescr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17098 cec4b9c1-7d33-0410-9eda-942365e851bb |
55b14de0878c596dc00920ecac65bab478e930e8 |
|
22-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed more simple ids to IRIs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16963 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b44bedeab030a703111086c92be0b5e38a8f9a7 |
|
09-Jun-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed iri pretty printing issue #1037
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16878 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 |
ea8e98e298f33f9362293f392c8fb192722b8904 |
|
30-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb |
53ea24e19dbd4ca72fd75ab3a3105dc9f99e4f81 |
|
09-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow logic names being followed by spec names in parens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16114 cec4b9c1-7d33-0410-9eda-942365e851bb |
b25c72845890740c2f8a21214752574990b943cf |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14798 cec4b9c1-7d33-0410-9eda-942365e851bb |
f876a858a3644fa16b793afb4692cf353fa13762 |
|
18-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14240 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 |
38e6a7281140deb96436868d396e1a0a3c934c2c |
|
04-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added fitting morphisms to DG link origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13037 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5fe06af711a6912ae028ebf873eada4ee8733f8 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced umlaut in Luettich
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 cec4b9c1-7d33-0410-9eda-942365e851bb |
97f7ac06b3cbf4fc22c0a9eef523b68ee34fc164 |
|
04-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added range to basic specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8990 cec4b9c1-7d33-0410-9eda-942365e851bb |
df098122ddc81fe1cb033a151f7305c1dda2dc81 |
|
28-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved parsing of empty basic specs to the heterogeneous level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8954 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9b12a260ae5fb261c7dd597c931f08efa6434aa |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8648 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved GENERICITY, PARAMS, IMPORTED to AS_Library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8600 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bff097c14521b5e57ce37279a34256e1f78aa5 |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8483 cec4b9c1-7d33-0410-9eda-942365e851bb |
7bec87c95b24aa36ce22aef47f24d6789278986f |
|
25-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
make logic names look like directory names by using structId
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7339 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 |
49588f3d624e56594d888bc622bc90618ae3c2c5 |
|
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@7286 cec4b9c1-7d33-0410-9eda-942365e851bb |
0095c7efbddd0ffeed6aaf8ec015346be161d819 |
|
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@7284 cec4b9c1-7d33-0410-9eda-942365e851bb |
586119194c88f329ac40be18e8a4b7a60cb900a7 |
|
19-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used cat for params in brackets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6685 cec4b9c1-7d33-0410-9eda-942365e851bb |
01a6713bd7d400adc009f2972a1fab02ff1fb5ee |
|
17-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
grouped imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6675 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef7d1a1d5454458d46b9acefeda94b12bdc695b2 |
|
06-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old PrettyPrint instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6609 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae8052003e1ec7247597f034069db0939a7387e1 |
|
04-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used sepByCommas or ppWithCommas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6585 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1b388a07af09155d39b41d7cfd2f8fbe5c63433 |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used extra function skipVoidGroup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6549 cec4b9c1-7d33-0410-9eda-942365e851bb |
79047bf123d3960974da28b4edb1b216e34ae29f |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
remaining groups must be braces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6545 cec4b9c1-7d33-0410-9eda-942365e851bb |
f869060479ea7f862beb97bb8a676c07ed3498f4 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
skip void groups
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6544 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd3d5967cb660d54d6d4e03b0f5ec536c0d33958 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
consider outer annotations by moving them inwards
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6543 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e27c68ef285b5b875b97cbb7ef12462a6ccc4f3 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused defn data types and switched to new pretty docs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6534 cec4b9c1-7d33-0410-9eda-942365e851bb |
1fb2fa7cea18e9aaa264c7713ec2d86281da0551 |
|
14-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted to previous version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6446 cec4b9c1-7d33-0410-9eda-942365e851bb |
39982c927a6052fe2ebd13d4c03b2fcbae0d2f0c |
|
14-Jun-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
change to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6444 cec4b9c1-7d33-0410-9eda-942365e851bb |
68ea5161ca24e12ac4c4d42c0f8e63c408a7e6e9 |
|
09-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
print G_mapping with commaT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5789 cec4b9c1-7d33-0410-9eda-942365e851bb |
2551d250bd9b64e91901ba467bdc4d3a12b5de23 |
|
27-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4801 cec4b9c1-7d33-0410-9eda-942365e851bb |
25a0b76bc87e80c0f697951d9817862755a71d33 |
|
17-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced haddock warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4455 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 |
587fb54160b66128cf17e4c9bca7494a7f2c3c4a |
|
23-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
homogenized FIT_ARG data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4315 cec4b9c1-7d33-0410-9eda-942365e851bb |
6d00d8089fddadb7afe31bb1e9386e5e38474796 |
|
21-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up imported keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3705 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3dca469a9e267d6d71acfdeca7bf284d0581dc7 |
|
29-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made CspCASL logic more completed
Completed static analysis of data specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3201 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6975c9ca6624cad3765c4e4f0a12cc843f6aae6 |
|
28-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected san' error and removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2499 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f0d70e1f2fbfa7456f65d5439c7f1fa3c3e65df |
|
28-Apr-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Updated the documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2496 cec4b9c1-7d33-0410-9eda-942365e851bb |
e79329c70ae9422ccfe8a0ce9c34158a52604a76 |
|
28-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed slash in haddock comment (make doc)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2494 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4e5023e2f4b0d140c6d9268d376e911a9dac35c |
|
27-Apr-2004 |
Heng Jiang <jiang@tzi.de> |
Neue Verbesserung der Funktion spAnnotedPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2487 cec4b9c1-7d33-0410-9eda-942365e851bb |
80dff067afb2b6b826b1652a61de1aac1eced2c9 |
|
27-Apr-2004 |
Heng Jiang <jiang@tzi.de> |
Verbessern der Annotewords(%implies, usw.)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2483 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f6b3834ba54649fc02cae002bac0258b6b5dcba |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated text and latex printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2196 cec4b9c1-7d33-0410-9eda-942365e851bb |
306763c67bb99228487345b32ab8c5c6cd41f23c |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2158 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a00e90263c5b5219e3c3721cdc944a8c89f88ca |
|
08-Feb-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Hiding is now printed correct in the case that only singleton lists are stored in G_hiding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2107 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd0927f14642d67a9a819dc1729d672e2e412284 |
|
18-Jul-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved the printing a lot
espacially the printing of group specs and PARAMS
using the GlobalAnnos to know where the printing goes on (-;
improved some precedence rules for group specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1554 cec4b9c1-7d33-0410-9eda-942365e851bb |
24c4e80d78a5810e2713076736a23728f9f99235 |
|
02-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added short cut
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1186 cec4b9c1-7d33-0410-9eda-942365e851bb |
f39493e876547adf5fd9d8c9b094cda58380c17e |
|
28-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made everything in Common (nhc98) portable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1155 cec4b9c1-7d33-0410-9eda-942365e851bb |
852aa93382d527e2df57224170579d62493b56cc |
|
28-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Corrected two bugs: both on braces in group specs: now also for LaTeX output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1150 cec4b9c1-7d33-0410-9eda-942365e851bb |
873269b758e18ed82c9ba030ef4afd49dc4788de |
|
21-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Corrected two bugs: both on braces in group specs:
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1134 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c53fae3e5be041e963bbfeef09f917032fedccb |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrections for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1004 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 |
15d3f558a8506ed7bf2b1cf3d471448283dfe2dd |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved into Syntax subdir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@947 cec4b9c1-7d33-0410-9eda-942365e851bb |