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 |
eae727f2a1203f1e3c86e40667fe6dfb1173abcb |
|
07-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
sort constraints to improve comparing |
94e112d16f89130a688db8b03ad3224903f5e97e |
|
04-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad4da9d870c666f00992431e3badbbe9cc4f19aa |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made scan happy
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14816 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e538f8086fb560f0b88d49581f0006d6323bdc0 |
|
14-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added extension for CASL terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14532 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 |
e92e93922166c81167de83cc7400403c5d9bb26c |
|
02-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added second order quantifiers for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12398 cec4b9c1-7d33-0410-9eda-942365e851bb |
f5d3f9e8051187ac3c78146785b5fdbdc6e03fdf |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
forget range record and use range span
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12186 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 |
8096af05de5e00a06bbed74958af1421f6f13bb9 |
|
19-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
better compute position ranges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12162 cec4b9c1-7d33-0410-9eda-942365e851bb |
9bfdf40cbc2c61dd8281904a03ac598d51e0a872 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Simple_id constructor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10704 cec4b9c1-7d33-0410-9eda-942365e851bb |
43d930ca93b231dd92af8380fdeb0d7e71224615 |
|
05-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed mapOnlyTermRecord
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10457 cec4b9c1-7d33-0410-9eda-942365e851bb |
57fce7f12e914e6165f83e4d0bbfdebf9c55ea9b |
|
06-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed post mixfix check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10075 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 |
cdcc5b7c41e2d52d7bf37258ee5c551d4aef0be3 |
|
14-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
translated some more Kif specialties
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5983 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a245e3ef6baa0923c02062da35d035dfd2c82a4 |
|
27-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified mapOnlyTerm and avoided constOnlyTerm
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5088 cec4b9c1-7d33-0410-9eda-942365e851bb |
531bf47bdfef46a989198c3efc6da1bc685f97c5 |
|
18-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused constRecord for noMixfixRecord
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4696 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 |
e444c9b47fae2490b64e6a465d3706a07b2f6d84 |
|
11-Jul-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Readded constRecord; and added mapOnlyTermRecord and constOnlyTermRecord.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4604 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 |
97c1cd9e2855c4e96e8204531b7f8e0e8e0e7ebd |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed never used variants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4597 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0e24c3af2bc16ebe46db2ed2d37ca7147b4c9d9 |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized idRecord
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4594 cec4b9c1-7d33-0410-9eda-942365e851bb |
356e561ec6a6b288953a51e4991ddecd9300861b |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added constRecord
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4592 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 |
734e27bb95c8331c9c262fdd24381b9b9c9d7c28 |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added identity record
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4588 cec4b9c1-7d33-0410-9eda-942365e851bb |
3520f6893da8b7397046dfd3dbdae21293647e6f |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
fold for formulas and terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4587 cec4b9c1-7d33-0410-9eda-942365e851bb |