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 |
eb81a8ddfedc41fc0649fd6b7e546e3f3630acfe |
|
29-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted changeset 17919 (SoftFOL sort cycles are not supported)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17923 cec4b9c1-7d33-0410-9eda-942365e851bb |
5fba479ca539239292c927b35de936518176047a |
|
27-Apr-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
quick fix for #1144
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17919 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e9d8cb1c799ebe1240fe5090d8eb88ba8c5069a |
|
03-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid non-ascii characters in time strings under windows
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17286 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0f1794e365dd347e97b37d7d22b2fce27296fa1 |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-established separate relation type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15490 cec4b9c1-7d33-0410-9eda-942365e851bb |
16b9cc0b9c0ab3b58b1451eaf912b8a217d189b7 |
|
08-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14301 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 |
8b66de47c89e252c907c8ed3a5ccd16dbccbfb3e |
|
27-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored using Common.Utils.number
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12314 cec4b9c1-7d33-0410-9eda-942365e851bb |
a8ebffb0b4721e658ec58c0df07fedd422c373d6 |
|
21-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
create conjunction of theorems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12225 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 |
84933d742dc5bcf760653b5d1784e00cee342032 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced {-| with {- |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10424 cec4b9c1-7d33-0410-9eda-942365e851bb |
0ac31dc840c65871338bd2fed3c5ab15b1e40908 |
|
17-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added accidental omission of spechub/Hets@56207d3d8820aef00cba6d90139265a9bc7f9c3d
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9935 cec4b9c1-7d33-0410-9eda-942365e851bb |
56207d3d8820aef00cba6d90139265a9bc7f9c3d |
|
17-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed separate simple terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9930 cec4b9c1-7d33-0410-9eda-942365e851bb |
37c4e519e6f5f187d22fabe348808704ccffd505 |
|
01-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed problem identifier back to String
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9854 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 |
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 |
135bcb7f65991146c103e5e7599adbc49fe7359d |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced senName with senAttr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8627 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 |
89e9687ab1427723e373996ddb9686f68f5c21ba |
|
16-Jul-2007 |
Heng Jiang <jiang@tzi.de> |
modified the syntax of spass-input with version 1.5; added parser of clauseFormulaRelation, prooflist and settinglist into dfg-parser.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8376 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 |