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 |
847ce4e1c2ab9ab3a229450e11e55c2ad9de1393 |
|
28-May-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
scanned and hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17980 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ab6ebe3181f6e202aa0db327dc6670fda1cf5b6 |
|
28-May-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17979 cec4b9c1-7d33-0410-9eda-942365e851bb |
81f49ee02aaa3bc870401f8883bf52742eb3ea7a |
|
20-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Merge branch 'hybrid'
Conflicts:
CASL/Logic_CASL.hs
Comorphisms/LogicGraph.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17960 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 |
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 |
803425dfe6a5da41b9cea480788980fa104545ad |
|
26-Oct-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
made an algorithm generic to reuse it for OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12726 cec4b9c1-7d33-0410-9eda-942365e851bb |
202df46772cac2ee2e8627ba196a5faebb6f9a05 |
|
17-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented missing stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11534 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a80079e082fdf4fe8e19f8fc61e6cd8799b47a7 |
|
25-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11082 cec4b9c1-7d33-0410-9eda-942365e851bb |
112bd156ffabf57b35ae6d52d93314be96f973c1 |
|
20-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added final newline
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10842 cec4b9c1-7d33-0410-9eda-942365e851bb |
abb3850e1a3b30fc05a072a371c77395b3b40927 |
|
16-Oct-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
colimit for Propositional
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10833 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb |
67869d63d1725c79e4c07b51acd466a31932b275 |
|
30-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
logic specific induced_from_to_morphism handle extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9106 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a4685f6f0678ef58ace46d58357035551fdd98b |
|
30-Oct-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
removed garbage options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9105 cec4b9c1-7d33-0410-9eda-942365e851bb |
792df0347edab377785d98c63e2be8e2ce0a8bde |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
basic analysis now returns an extended signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9098 cec4b9c1-7d33-0410-9eda-942365e851bb |
da955132262baab309a50fdffe228c9efe68251d |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb |
64325303fc09fc4d88ced49be11ff2d29966422a |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8938 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eeec5240b424984e3ee26296da1eeab6c6d739e |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced @tzi with @informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 cec4b9c1-7d33-0410-9eda-942365e851bb |
9eb6a481980d81a55898ba418fba72fc3c09d8c8 |
|
04-Jun-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Changed descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7971 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 |
c5c3ba1d1735af9ae35b4b1cb6e60777c9ea2fb1 |
|
15-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added some comorphisms + improved static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7684 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e2dba19f0c5ef183c1ac9cf1dff55b9626aeabd |
|
15-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
prop supports views now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7682 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b9f5c1b3592b99fc74d3438740ebcf9eb4c94be |
|
06-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
:) can open window :)))
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7609 cec4b9c1-7d33-0410-9eda-942365e851bb |
080f5fd32e4367ac0c8efb468bc9b75f8c08cc87 |
|
06-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Tweaks for Propositional...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7608 cec4b9c1-7d33-0410-9eda-942365e851bb |
648e803bb79a00b1c246d093fe2a2707c6b2cf7b |
|
06-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Fixed bug 286 (hopefully)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7607 cec4b9c1-7d33-0410-9eda-942365e851bb |
548f3850942936a8c6021185c8391dfcd3b03018 |
|
05-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Improved propositional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7604 cec4b9c1-7d33-0410-9eda-942365e851bb |
4df63f7187b1ba16cbe5c781db187a42f2f49579 |
|
01-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Basic Analysis for propositional logic added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7575 cec4b9c1-7d33-0410-9eda-942365e851bb |