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 |
05fa51cf4404b1b8013522026a4f4597cf2f560f |
|
10-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
cleanup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17957 cec4b9c1-7d33-0410-9eda-942365e851bb |
72204f862232e7e51b0207bba020c1d781fa7798 |
|
24-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
translated CASL strings to OWL and refactored other translations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17234 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 |
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 |
be1be4e367e4831eac56abbb1cd43f372f843411 |
|
05-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
only lower case words are reserved
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10447 cec4b9c1-7d33-0410-9eda-942365e851bb |
90a111bcb2ca1949abeda9747c9bc4d4b68a5551 |
|
04-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
change to lower case for non-vars
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10444 cec4b9c1-7d33-0410-9eda-942365e851bb |
f30db78a23efd67791a75388a9bd1609fa3bcb48 |
|
04-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
swapped then-else branches
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10442 cec4b9c1-7d33-0410-9eda-942365e851bb |
26218fea52718611957aba7abe8251382ad1a9e4 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10437 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa75c2f441e1d228e8ed28bd10bd070de1fdf495 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10435 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1a0a4f5712942d8ef09bfdb5b8d1e3b576ab438 |
|
16-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Prime to ProofUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10338 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed5d934459028190e02bb1058ec77ca7d6d04564 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
break lines in description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10320 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cd4b69c86ab20ab70ae3fb7481fc0ab28d8883d |
|
22-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added e1 .. e20 as reserved
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9965 cec4b9c1-7d33-0410-9eda-942365e851bb |
97c4b8b9fff654d0b197cb09df6d9a6d9027308f |
|
22-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed SoftFOL.Utils and implemented extractModel
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9950 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfe34c9d0a279f8f86eae778b761f32e4788d42d |
|
01-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed SPIdentifier to Token
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9853 cec4b9c1-7d33-0410-9eda-942365e851bb |
72657dd7b0d3c0a969f30fa7f803afa286b8f510 |
|
22-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
only translate leading digits to reduce name length (max is 64)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9462 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4e40b91734dc997c7edbe5676d0408e49f65f0b |
|
10-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed CASL2SoftFOL to SuleCFOL2SoftFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8824 cec4b9c1-7d33-0410-9eda-942365e851bb |
38170b9a71483e0a477a066109d364de599f7997 |
|
10-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8823 cec4b9c1-7d33-0410-9eda-942365e851bb |
23bcd66b8e03a89fd3a4f67bf760a3ac7f1ab6ab |
|
04-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved special types out of Sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8790 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bff097c14521b5e57ce37279a34256e1f78aa5 |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8483 cec4b9c1-7d33-0410-9eda-942365e851bb |
f04e8f3ff56405901be968fd4c6e9769239f1a9b |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Renamed almost all files with SPASS into SoftFOL.
Only SoftFOL/Logic_SPASS remains.
It will be updated very soon.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8150 cec4b9c1-7d33-0410-9eda-942365e851bb |