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 |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
501e4e6b8288a5b73d7d4b8d8b80817f9bf8e60f |
|
02-Dec-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Fix haddock error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18354 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
656f17ae9b7610ff2de1b6eedeeadea0c3bcdc8d |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed legal_mor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15779 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 |
0b53895114b00141ec17ffdc7e26acded4487328 |
|
05-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
used conversion from Id to Token
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12963 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 |
a23e572c8f957cc051a1b0831abd6fe9380d45c7 |
|
03-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow unchecked composition of morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11466 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7be28e157e9ceeec73a8fd0e642c36ea29d4218 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added a separate subsig test to allow building inlusions more efficiently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11439 cec4b9c1-7d33-0410-9eda-942365e851bb |
16e124196c6b204769042028c74f533509c9b5d3 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require Ord instances also for signatures and morphism for efficiency reasons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11438 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe1771bb2ad4ad758a5654b277c1bb145d46701c |
|
31-Oct-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
consistency and conservativity check using truth tables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10927 cec4b9c1-7d33-0410-9eda-942365e851bb |
09847a0124ff1662f6da56cd0ee08c3d539a025c |
|
30-Oct-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
skizzo runs (I hope)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10914 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b2e9f4673599e1bc6e18a43ad615da28305b8e1 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed haddock warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10434 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 |
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 |
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 |
926b3c5491f1c608f5b79e2d8014d7a1385558c3 |
|
31-Jul-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
all ascii now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8523 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 |
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 |
2ea0ce749d2525f96d5d2f285f519ab07b005b8d |
|
06-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
More to click for prop logic :)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7612 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 |
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 |
b694e4b3f771a2f32042c9c505dd698bde969558 |
|
23-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
qualified imports in Propositional... added functions for Symbols/Symbol maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7531 cec4b9c1-7d33-0410-9eda-942365e851bb |
16bc530c07001430b6c569bbc5f49e63de3bd4fa |
|
21-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Removed superfluous file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7494 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 |
5ad5dffe06818a13e1632b1119fbca7881085fc1 |
|
21-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Addes Symbols to Propositional
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7489 cec4b9c1-7d33-0410-9eda-942365e851bb |
59917a4f0a6a20f5a20bcab1f2a0a0774db56807 |
|
21-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added pretty printing for Propositional, hope it is not too ugly :P
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7488 cec4b9c1-7d33-0410-9eda-942365e851bb |
0859769b65851f4c06d6d32fac084b0f4db56c94 |
|
20-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout for ghc-6.4.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7472 cec4b9c1-7d33-0410-9eda-942365e851bb |
2af38fde95f93562f2124ec615fba0e509c8202e |
|
19-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Fixed haddock issue
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7469 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcac596b16bb10f475066c323b9b1ca44db2b755 |
|
19-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added skeleton of an instance of sentences for propositional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7464 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf04ba46b9eb495d334466e24e082e391055ca7b |
|
19-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Refined propositional, better comments, more code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7460 cec4b9c1-7d33-0410-9eda-942365e851bb |
08056875f5f633ef432598d5245ea41c112d2178 |
|
14-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added full implementation of category for Propositional Logic, compiles without any errors or warnings, added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7435 cec4b9c1-7d33-0410-9eda-942365e851bb |
b72a390042c19e630cf221494b60c9df2a60d187 |
|
13-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added functions to prop logic :)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7427 cec4b9c1-7d33-0410-9eda-942365e851bb |
f90884915ff10ae83f59e709c68824de834e64f5 |
|
12-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added skeleton for propositional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7420 cec4b9c1-7d33-0410-9eda-942365e851bb |