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 |
e7ddd5495421698701a2bbc57a5b3390a11d12ca |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added utilities for op types with kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15457 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL's op and pred maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb |
52d442cc9879e336cd76ef2623daf957043c9ca0 |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
translated german comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14817 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 |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 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 |
812ee1f62e0e0e7235f3c05b41a0b173497b54ff |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12820 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5fe06af711a6912ae028ebf873eada4ee8733f8 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced umlaut in Luettich
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2c117ca032ef5f4b85b038fbc79ba6699d048d3 |
|
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@10319 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 |
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 |
e86c993f52ba386491c226170765ef4d9e0096d8 |
|
23-Mar-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
chenged maintainer; checking in *unused* functions for the generation of MMiSS ontology LaTeX strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7751 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 |
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 |
0593ee4b4912648f3be69c65c82b29cf62083977 |
|
11-Sep-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added binary relations to concept graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6929 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ea2ae9a4e73cdacc2a9db354ca4ce44e1d15835 |
|
23-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6509 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 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 |
b9f1c1e07f18bf75aadcbba375e7558dc295df4e |
|
07-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed reexport of showPretty in Result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4387 cec4b9c1-7d33-0410-9eda-942365e851bb |
0db1f6e5fb5e775dd3625d75a552f37dedb441f2 |
|
02-Mar-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Updated documentation and export list.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3886 cec4b9c1-7d33-0410-9eda-942365e851bb |
4191d5ca6384a187dd4eacfcd3a2e87f50140b29 |
|
08-Dec-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Multi subsorting und euivalent sorts implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3541 cec4b9c1-7d33-0410-9eda-942365e851bb |
b6c683c59f1412c45a4a3217f4c0c91dfdc53248 |
|
30-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
used separate WithError to avoid Either instance clash with programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3499 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b60a19437c802631340d8bb5f9aaee7ba2c0a29 |
|
26-Nov-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Some Modules needed for the visualisation of taxonomies
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3472 cec4b9c1-7d33-0410-9eda-942365e851bb |