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 |
e24ad3f655daa60ddabe690e4b11de3187996c16 |
|
22-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
moved the IO availability test into the prover and checker records |
6474355165eb777dbcbc3b2a9d68b84c7d715926 |
|
08-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
in doubt set used axioms to all axioms #720
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17842 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 |
077714573666df8dea5300836cbea0d4b37d1a78 |
|
04-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
got rid of old exceptions and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13823 cec4b9c1-7d33-0410-9eda-942365e851bb |
f30f834d81e1c294aff8eb2752fd864f6488820d |
|
26-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused genericCMDLautomatic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12853 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6decfd748f532d5cb03fbcb7a42fa37b0faab3 |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12661 cec4b9c1-7d33-0410-9eda-942365e851bb |
452d66feaf5b4d7f2038bb66b7d22b6ed87d7e79 |
|
28-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unnecessary import of HTk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11124 cec4b9c1-7d33-0410-9eda-942365e851bb |
f153609d4ff5616d7caa410df605afcdfb9956df |
|
28-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved GenericATPState to Interfaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11121 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 |
ad69cb3627839ed3d33f13d71c81378b65a24b35 |
|
24-Nov-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added theory to FreeDefMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11064 cec4b9c1-7d33-0410-9eda-942365e851bb |
f094a7999dfa79cad2eb34ce15f1939c0d6b9e39 |
|
14-Nov-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored prover interface: carry around freeness constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11008 cec4b9c1-7d33-0410-9eda-942365e851bb |
433bb7cb49200f4e6c7341101da25309e423c0e2 |
|
14-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover template
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11005 cec4b9c1-7d33-0410-9eda-942365e851bb |
904cffe5116dda092ed7ec75687fb1d75edab55e |
|
28-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used emptyProofTree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10900 cec4b9c1-7d33-0410-9eda-942365e851bb |
a14767aeac3e78ed100f5b75e210ba563ee10dba |
|
24-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused the same proof tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10890 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 |
c73ec6b23ef1bec42d6b1a302ee3e587bc69456c |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened help text
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10323 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 |
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 |
80d0480a60b409d9cf256d0a6c411dd99c672124 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up Logic.Prover
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8621 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 |