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 |
e1d5f2ade9a052564973099a7ab2fc3aec091abd |
|
05-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16232 cec4b9c1-7d33-0410-9eda-942365e851bb |
578dd213a172c85e6c6ffdbf20be969c39d6d7b8 |
|
05-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert spechub/Hets@7ff36d8b7d96c1a709bdea82317c871b5c7c4857 by using proper show instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16231 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 |
81d182b21020b815887e9057959228546cf61b6b |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock Description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8310 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
61091743da1a9ed6dfd5e077fdcc972553358962 |
|
04-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized Named to SenAttr to be useable by Logic.Prover as well
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7784 cec4b9c1-7d33-0410-9eda-942365e851bb |
1db8436e3bc935eec7ae680e1a4f6c11eb013270 |
|
03-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
class Pretty has been moved to DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6561 cec4b9c1-7d33-0410-9eda-942365e851bb |
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added global annos to signature for pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6487 cec4b9c1-7d33-0410-9eda-942365e851bb |
af47051acb16b97b6bc0ff7295cae44eed87d63e |
|
14-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified unique vars and ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5015 cec4b9c1-7d33-0410-9eda-942365e851bb |
a84b36aae7d790568f922d4d4b9f318836d16b0c |
|
18-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4703 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 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 |
414ffa281d82f05a2d742c702f8e06b0cb05b229 |
|
20-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made AParser polymorphic in further user state component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3578 cec4b9c1-7d33-0410-9eda-942365e851bb |
772abb916b994ad9461ddb11c88829251c5ac87a |
|
13-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
proper order of sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3243 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d5f32c7e4e49e726f5d10943be3718afdff73cd |
|
09-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
translated further formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2839 cec4b9c1-7d33-0410-9eda-942365e851bb |
f44122fe6fb9cf2f02bd518d4efbe3e2321297e6 |
|
10-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2567 cec4b9c1-7d33-0410-9eda-942365e851bb |
157155d1b098dbeff08a36c23b772851853566c1 |
|
07-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
use AParser only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2559 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
34b317241b7401a4b0a90472e73d769d64d69a2a |
|
25-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated lambda terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1524 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b0a4c7dea0f67a233dcc42ce9bb18d36de109ae |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved global annotations out of environment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1471 cec4b9c1-7d33-0410-9eda-942365e851bb |
23f8d286586ff38a9e73052b2c7c04c62c5c638f |
|
11-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured with a Reader
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1242 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8ffec0fa3d3061061bdc16e44247b9cf96b050f |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@977 cec4b9c1-7d33-0410-9eda-942365e851bb |
30203b61afb4393c8e459470b3a16d1fe26acc7f |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@946 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8a232442cc858a3ad0f948d643b7d974f678553 |
|
06-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduce user state for annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@844 cec4b9c1-7d33-0410-9eda-942365e851bb |
e289294500ad68fa0706b09521af340bbb356a69 |
|
29-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included kind analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@799 cec4b9c1-7d33-0410-9eda-942365e851bb |
d67a0dfffeb04713ec069870109a732a94fae779 |
|
14-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
testing static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@751 cec4b9c1-7d33-0410-9eda-942365e851bb |
30b01cb7094463449238dee8c1542544a242fcc0 |
|
03-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cosmetics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@726 cec4b9c1-7d33-0410-9eda-942365e851bb |
c00adad2e9459b422dee09e3a2bddba66b433bb7 |
|
02-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
start analyzing types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@720 cec4b9c1-7d33-0410-9eda-942365e851bb |
98cf0f00c14d5739ef1d4e20693adaba5eefbcd4 |
|
28-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@711 cec4b9c1-7d33-0410-9eda-942365e851bb |
3668ed0a0d5ada5f576d1c06fac897ecf7da040f |
|
11-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
minor cleanings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@692 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c72be149cf673945cbe07a04c336fb8f4d406a3 |
|
28-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@669 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1c064439793db60fd1a6bb514c4ca9690a90a2e |
|
26-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
collecting classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@667 cec4b9c1-7d33-0410-9eda-942365e851bb |