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 |
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 |
a480b70e29a3ed7e77b89e410fd7bbab3e5a7e67 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened too long lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10313 cec4b9c1-7d33-0410-9eda-942365e851bb |
819ef30d291cb3d17790271f901b0ca03f2b783f |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8486 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 |
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 |
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 |
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 |
5f0d686f35e3cf510a32517fe5a2788d591964ae |
|
11-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed map to fold, idRecord to mapRecord, moved noMixfixRecord to Fold
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4603 cec4b9c1-7d33-0410-9eda-942365e851bb |
018f74031e6db00f0170b5d8423f61c05a238b48 |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added usual f -> f argument to idRecord
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4590 cec4b9c1-7d33-0410-9eda-942365e851bb |
22efa7c6b502457c560e5038eb18768c85eddb31 |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed using CASL.Fold
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4589 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 |
0af0cffad0fea46df86ff9a9b1d490247871719a |
|
16-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
use PrettyPrint rather than separate show function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3809 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7d2e793728bbb7fd185e027eb9dfd7b9dd11c21 |
|
15-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3801 cec4b9c1-7d33-0410-9eda-942365e851bb |
6caada8926a23123aee618f61d64fe82cfd6e91e |
|
10-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added freeness flag to Sort_gen_ax; new transformation to Isabelle lexis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2574 cec4b9c1-7d33-0410-9eda-942365e851bb |
e539b8cb4a47f987bc57c90ee964219ac53841ff |
|
11-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added (some variant of) the extra signature morphism component to
sort generation constraints (cf. p.134 of the CASL Reference Manual).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2379 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f086d5155f47fdad9a0de4e46bbebb2c4b33d30 |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Analyzable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2356 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
6cb09495133887e0d5e021fa3cf44f288881eb68 |
|
05-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added generated axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2247 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 |
0a3e0383d4882b74b2e44fd0657b1e91d66a36cf |
|
14-Mar-2003 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
changed 'String' to 'ShowS'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1104 cec4b9c1-7d33-0410-9eda-942365e851bb |
b29ab8220de58c6970c6a5e5a1c39e8c7924992c |
|
10-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
haddockified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1087 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbbeda79fda73f8a6f02f2b8d4cf1dd25c401562 |
|
10-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1086 cec4b9c1-7d33-0410-9eda-942365e851bb |
60fd92fc0d03000ad3aa400446095b7c0bf35257 |
|
10-Mar-2003 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
dont use it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1085 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7960388cd57bf247815cca31122971afc53570f |
|
10-Mar-2003 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
dont use it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1081 cec4b9c1-7d33-0410-9eda-942365e851bb |
7765fae6b66040c7652f635d013c8508a3ac945b |
|
03-Mar-2003 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1037 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3e887705c52a66ead82c2be4631f61c9dcd5fd8 |
|
28-Feb-2003 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
first real version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1033 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca9198b0e57aedc7bcd94d68ef25f138b05f428c |
|
24-Feb-2003 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
erweitert
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@975 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 |
fbda575b158b9cafbd22bb2550ecc17fdfd76374 |
|
15-Nov-2002 |
Carsten Fischer <cfi@informatik.uni-bremen.de> |
prints Terms pretty for ambiguous MixfixTerms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@631 cec4b9c1-7d33-0410-9eda-942365e851bb |