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 |
b5056cf24da461ee868c4be7b803a76b677fa21d |
|
24-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
joined common code for CASL comorphisms to CASL extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16008 cec4b9c1-7d33-0410-9eda-942365e851bb |
55cf6e01272ec475edea32aa9b7923de2d36cb42 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2 requires language with flexible instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 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 |
05bf9cbe382548c2665dd01a6a402640c9ec3813 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more LANGUAGE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13493 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb |
83b3260413a3b1b7dee1f9c4d3249dec994a875c |
|
16-Apr-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added signature as parameter for symbol translation along comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11695 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ecf13b5fd914bc7272f1fc17348d7f4a8c77061 |
|
03-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed funs in CASL to ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11201 cec4b9c1-7d33-0410-9eda-942365e851bb |
a129422b14eea673dc481d2553cec108e35e72ef |
|
06-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added and used nameAndDisambiguate
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10770 cec4b9c1-7d33-0410-9eda-942365e851bb |
af30b44c4bae99a1c37fe53b8a70c7eb0a380b66 |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to get the sublogic stuff right
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9290 cec4b9c1-7d33-0410-9eda-942365e851bb |
e071fb22ea9923a2a4ff41184d80ca46b55ee932 |
|
07-Sep-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added module description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8810 cec4b9c1-7d33-0410-9eda-942365e851bb |
f1decd64e7a0c0d7201b5d3e0fa8196766651882 |
|
22-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added parameters to CASL2SubCFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8677 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 |
bba825b39570777866d560bfde3807731131097e |
|
28-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* Made mapSublogic in class Comorphism partial
(result type is now Maybe sublogics)
* preliminary incomplete implementation of hetSublogicGraph
(not accessible form the GUI yet)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8183 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2c050360525df494e6115073b0edc4c443a847c |
|
12-Apr-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
flags for properties of comorphisms and values for them in different instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7813 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
26d11a256b1433604a3dbc69913b520fff7586ac |
|
09-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved type Symbol from CASL.Morphism to CASL.Sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7142 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecc595a74e67c15770681014e77459986f298d52 |
|
18-Sep-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
sortsWithBottom consider now supersorts recursively
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6946 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee7ef50d132c0b5981eb30da707751e181281fe8 |
|
27-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added simplification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6727 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e9eea8b71a9614227bfdce2e9164ba966855f17 |
|
25-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
lifted version of CASL2SubCFOL for CoCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6714 cec4b9c1-7d33-0410-9eda-942365e851bb |