46c318705d1532d90572abf9ee869016583d985b |
|
08-Aug-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
HetCASL -> DOL at various places |
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 |
dada9f2f2a5841d45e4dfbf2531d1bb6d632d5a8 |
|
13-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18184 cec4b9c1-7d33-0410-9eda-942365e851bb |
260192a59aed3dbf3b339ea86d4009a7d1c0d728 |
|
30-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
undo for show-output works now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18149 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb368574663eadc521f7f42d76c00f3e6a8af1a6 |
|
23-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
1187 added the show-output command
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18140 cec4b9c1-7d33-0410-9eda-942365e851bb |
04857331be117d4e2215d866c309a17bd9a7e15c |
|
16-Aug-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
disprove function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18130 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ba1d34f4f33bbe301590d02e30c32078648a3cc |
|
28-Jul-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
command show-current-comorphism for interactive console
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18075 cec4b9c1-7d33-0410-9eda-942365e851bb |
32879d52acb52bf9cdd1b471fd058e6b431ed826 |
|
28-Jul-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
command show-translated-theory for interactive console
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18074 cec4b9c1-7d33-0410-9eda-942365e851bb |
42f76486938cb03ba650ee09c68304fd4a86fb87 |
|
28-Jul-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
command show-comorphisms-to for interactive console
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18072 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8a6d1101a0e3d09fb8f8566590cb209c103498a |
|
15-Jul-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
ticket 1106
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18035 cec4b9c1-7d33-0410-9eda-942365e851bb |
186ae38388cea5385aa2d89ae851a71feb14314f |
|
04-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved description #1107
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18005 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ac13b77b7e2c65fa7b43389668f7d24b733b145 |
|
31-May-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended command list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17988 cec4b9c1-7d33-0410-9eda-942365e851bb |
5815fae54a35d9630eea377e255cf8c6460be450 |
|
01-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed automatic menu text
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14460 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e0e43889f746e31eacf8eeccdeaa4032a65b07e |
|
20-Jan-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14405 cec4b9c1-7d33-0410-9eda-942365e851bb |
d746dda8407e83621a309fe67b1378d6f1cc3312 |
|
05-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepare for more global commands
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14200 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 |
19a24a7581868f4e182ec36f46a0ccb7df5a46b8 |
|
12-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added consistency checker to CMDL #834
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13709 cec4b9c1-7d33-0410-9eda-942365e851bb |
0bc3e99a05ed12fafe271ab855c15c866b50827c |
|
02-Dec-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
experimental TheoremFreeShift rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12875 cec4b9c1-7d33-0410-9eda-942365e851bb |
13a1ab301692fc1d388826661882162acccc2fb7 |
|
14-Oct-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Removed obsolete details command.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12639 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4aeced5394758cc762e8817d031855cc1abb02c |
|
09-Oct-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Removed shellac dependency - now only haskeline is used.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12609 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa1efeb55163f27f261d22a9062fbc25ab4d8d52 |
|
06-Oct-2009 |
Michael Chan <dayzman@gmail.com> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12576 cec4b9c1-7d33-0410-9eda-942365e851bb |
021a2ca825fc612f0f0807f3d7f1d0cd0fb6ba94 |
|
02-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added command equality
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12566 cec4b9c1-7d33-0410-9eda-942365e851bb |
c85340212cf5618bd135d0c997de899258aee3d2 |
|
28-Sep-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Removed duplicated inspect commands. Fixes #741
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12532 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5d95f1f555fbd818a20c44183fa434559b03bbf |
|
26-Sep-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Large refactoring of inspect-commands. Re-added *-current commands.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12525 cec4b9c1-7d33-0410-9eda-942365e851bb |
71d4ff7565d8a1acfe8ddee6dc2a26177267b971 |
|
11-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
some inspect commands use input
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12456 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e49e7c9cdf9762a903d7ecbc668b52e7bb2dd7b |
|
04-Sep-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
very experimental version of normal form for freeness
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12415 cec4b9c1-7d33-0410-9eda-942365e851bb |
21ceb77765fba1a10a105dd623754e08f7424889 |
|
02-Sep-2009 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
code commented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12402 cec4b9c1-7d33-0410-9eda-942365e851bb |
71704748bda66fdb9dedfd86d6b0d5bd3e84e9c2 |
|
06-Jul-2009 |
Markus Gross <Markus.Gross@dfki.de> |
First version of the conservativity rules (incomplete)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11878 cec4b9c1-7d33-0410-9eda-942365e851bb |
f20281b4006c7f7e5f8e62c9c2ff8a986fb56239 |
|
27-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11761 cec4b9c1-7d33-0410-9eda-942365e851bb |
28ca54b0d63d1d26a991711c8c7e85c474994715 |
|
16-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored command line interface #626
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11693 cec4b9c1-7d33-0410-9eda-942365e851bb |
0483520dcead3dcdf3cb84b98a9e86087a16ae1f |
|
15-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid ambiguous name Comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11686 cec4b9c1-7d33-0410-9eda-942365e851bb |
ddda54e0d5c5645290c6fae4ff3ffa7da36bf7fa |
|
09-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment about additional commands
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11679 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4f26cf3c17f087ea0818eac268c0178a1bcb7c6 |
|
08-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended commands
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11668 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c87ee0843c10fd86b02dd3129a02ee92281e10d |
|
08-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
create command list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11667 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ce7ef424527b035d26ac2a272b5ce2da9fc6b2d |
|
08-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
supported hets commands
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11665 cec4b9c1-7d33-0410-9eda-942365e851bb |