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 |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 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 |
5e9848f82840e33b61f06b2e5192f2bb4be930db |
|
05-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
also allow to select nodes that are printed last
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18008 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2a433726b930294ebf92b7d432853424b9590a9 |
|
03-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed cruel code duplication
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17992 cec4b9c1-7d33-0410-9eda-942365e851bb |
070ec05ec0d56c421c0ae626120352d5bf195eec |
|
03-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed #1163, longer commands must come first in the completion list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17991 cec4b9c1-7d33-0410-9eda-942365e851bb |
d957ab830fc9b132602d42199a8badf63595cfb4 |
|
31-May-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
to be tested
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17989 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 |
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 |
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 |
7dd3dd3ebd453a1d622b5115b1905d8c8daf4e1c |
|
01-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended from commands to CmdlCmdDescription
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12559 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 |
3664a630439d8d4841d17febbd74bd1dedd909d4 |
|
22-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use camelCase instead of CMDL_ and XML_
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12484 cec4b9c1-7d33-0410-9eda-942365e851bb |
c12668e13ed04f404c8a213917c78f3366b984b2 |
|
11-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected show-redo-history
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12457 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 |
e5189dcc4db68eb1a00d509dc420b8cde2baca81 |
|
04-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added synonym prove-all
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12419 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a255f4908deece6a09ca3c9d87a5165a3d577ee |
|
28-Aug-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Code cleanup using hlint and more explicit imports.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12329 cec4b9c1-7d33-0410-9eda-942365e851bb |
124c859ba4741d5e36d5d98634886b430b7af093 |
|
17-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed most PGIP stuff to CMDL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11709 cec4b9c1-7d33-0410-9eda-942365e851bb |