| 7af4df794a0e0f0cb927bd9371556ad098308983 |
|
26-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
major refactoring, split the big files into a couple of smaller ones which are more specialized
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14983 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 08b27f5b9b0623b02b57a994437086b4dac9b8aa |
|
21-Mar-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
minor changes of some output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14760 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8fca4d8a078d799b2faded300d6b97c2f7761103 |
|
14-Mar-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added a help-function in the emacs mode for EnCL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14708 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 105837926c174394ac05c02471215fb6d68a780f |
|
06-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added some fancy output and interpreting a print command now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14498 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0f541fef46255a09d1143a9cbf3e2dbafb610923 |
|
04-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added debug and symbolic flag to maple interpreter and eval program
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14493 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6a5011fab59ec9893a2b339268797662b22ae97b |
|
04-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
mode evaluates now also a spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14492 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d3ea4ab5527bc4bd7381d39ecbc4af2199f54341 |
|
04-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
improved emacs mode, added pretty printing for VCs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14488 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f54cbc3b567482a53e417faff9cd2583bfdc47df |
|
04-Feb-2011 |
Dominik Dietrich <Dominik.Dietrich@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14483 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f14bf11310b51516794b2ad792907c45ebeb73d7 |
|
03-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added evaluating assignments in maple
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14480 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a46759a60a40e273585c54c971213d5cd6dc7d00 |
|
01-Feb-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
modifications of emacs mode, added more functionality for maple assignment store
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14464 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bc84d207c5ccce005513f71b15635731fa426bf1 |
|
01-Feb-2011 |
Dominik Dietrich <Dominik.Dietrich@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14462 cec4b9c1-7d33-0410-9eda-942365e851bb |