| b569e96f02dea40cb81899293c7d99e1d750b3c0 |
|
03-Dec-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
set hets -g to C-c C-c
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17665 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 876096baba5bb126049ecde28ff6644fae78d7a3 |
|
26-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added keywords orElse, modality and flexible
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17061 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f5c7d6d3f873962ccbe63276243e88030ce8801d |
|
18-Sep-2007 |
Heng Jiang <jiang@tzi.de> |
Y of sublogic X -> Y is now allowed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8858 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1a5239c089cfe6c684855256c02496e6a7a4d281 |
|
18-Jul-2007 |
Heng Jiang <jiang@tzi.de> |
using 'c-c c-u' to run the graphical interface of hets for XEmacs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8395 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1c7aefd3163ebc1cd1f56ed93f39a7d688b97fed |
|
03-May-2007 |
Heng Jiang <jiang@tzi.de> |
restore some regexp from 1.28 to syntaxhighlighting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7868 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9312e4bac069d53091c92e20b03dcb4e07f40f9f |
|
02-May-2007 |
Heng Jiang <jiang@tzi.de> |
modified for xemacs mode.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7857 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d6814e7c7056c8078084f4fd0c627bfcebe935b0 |
|
10-Apr-2007 |
Heng Jiang <jiang@tzi.de> |
the emacs mode still has to ignore such error lines without position information; fixed a bug by running hets in emacs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7808 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 79a7f2de0a7e933d26b64d35b2801618ff015954 |
|
23-Mar-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
released files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7747 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 20bcb42e212faef728ac606e69dc1f9de55a9988 |
|
14-Mar-2007 |
Heng Jiang <jiang@tzi.de> |
changed the sequence of font-lock-keywords, modified the variables to set comment.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7679 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9568e312bbb8d2190e31f4eeb5115968adfb1e4f |
|
14-Mar-2007 |
Heng Jiang <jiang@tzi.de> |
improved the comment of casl mode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7676 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 18d7a52788fff16e6f8d5a9f13dfb87080a3e245 |
|
07-Mar-2007 |
Heng Jiang <jiang@tzi.de> |
paren highlighting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7618 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b66e97d7d836d878bbaf31abc81c3b88bd3397f6 |
|
01-Mar-2007 |
Heng Jiang <jiang@tzi.de> |
reducted regular expression of checking for ops- preds- vars-name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7573 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e8810ace43831b2929ae1548ff2a8f6e86c2cb96 |
|
15-Feb-2007 |
Heng Jiang <jiang@tzi.de> |
fixed bugs in syntax highlighting of 'get'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7442 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fdc512af2667b287b9463c5be6892cb145ab8337 |
|
06-Feb-2007 |
Heng Jiang <jiang@tzi.de> |
bugfixed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7389 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c0cf296297fcfc4497b5fb4238ff2e02f2edb9c6 |
|
06-Feb-2007 |
Heng Jiang <jiang@tzi.de> |
fixed bug by %pred{} or %display{}, etc.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7388 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a606835ff322fc2177142792bfee2fcb1132d993 |
|
06-Feb-2007 |
Heng Jiang <jiang@tzi.de> |
fixed bug by %pred{} or %display{}, etc.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7386 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 262ff0b92f2ba957c821ce8d9b4ee2f554cdf701 |
|
30-Jan-2007 |
Heng Jiang <jiang@tzi.de> |
added a global variable: casl-hets-options to run the hets with command line options; fixed syntax highlighting for type, op, pred, etc.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7356 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f5ca7e49a6d1602c3f3a12ea6723fa67fea5757a |
|
24-Jan-2007 |
Heng Jiang <jiang@tzi.de> |
remove casl-run-hetsg, using casl-run-hets with a parameter.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7337 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f4152ab9d084afebd592edfcde4bf5a0d8556edd |
|
16-Jan-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added the esential lines for carbon emacs (on Macs) to parse hets output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7312 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3d59ee7815197f19948fc512cd90f9f26fd4d78f |
|
28-Nov-2006 |
Heng Jiang <jiang@tzi.de> |
bugfixed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7209 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 36089fe7ad5167b48f702514056071fd8739faea |
|
24-Nov-2006 |
Heng Jiang <jiang@tzi.de> |
show hets output not immediately; bugs fixed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7199 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b0905caf30330ed73d5363e67c9f1f4576737ee1 |
|
23-Nov-2006 |
Heng Jiang <jiang@tzi.de> |
: can be accepted als ops.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7187 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c10df434f8e16b46ccf703bf2e38b799f7bcb38b |
|
23-Nov-2006 |
Heng Jiang <jiang@tzi.de> |
-fixed bugs; -casl.el search automatic the path of hets-home.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7186 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 44ea7e3effe9200ccc6abd3231ae56cf5cfb0fb8 |
|
27-May-2005 |
Heng Jiang <jiang@tzi.de> |
better hets output in buffer *hets-run*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4338 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3e4305eb6432c65bb0dfe8d9af9707dfc92383ea |
|
01-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added keyword 'idem'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3752 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6c8dc7ab7cb52a12cba748fe0f6b8d8d17a95eb9 |
|
20-Jan-2005 |
Heng Jiang <jiang@tzi.de> |
added new keywords, improve the syntax highlighting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3695 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 67d5e49547d78aa56a8f9ba5e64a950b730eba66 |
|
19-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3684 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0b31ea5ec0e20f17d55845a5d803c48466e01ca3 |
|
29-Dec-2004 |
Heng Jiang <jiang@tzi.de> |
improved syntax highlighting for sorts, constructor and string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3602 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f0a4ace924cef940ca4cc646fa180df70ef405d8 |
|
07-Dec-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Changes by Klaus and Heng for %[ ]%-Nesting highlightning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3531 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 806bce66335c88260a63e7524b1efc68d8dfacc1 |
|
06-Dec-2004 |
Heng Jiang <jiang@tzi.de> |
syntax highlighting for opName and predName and black komma
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3523 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 175c9e5fde43fc804a8d25198133288669b9d54c |
|
01-Dec-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Better handling of hets in $PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3503 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 31ac08a9e5233b83a63fd5aaac494c32305c4c77 |
|
29-Nov-2004 |
Heng Jiang <jiang@tzi.de> |
little change of syntax highlighting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3487 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b91c4dbd00294ce29ab1ae84ad4e8c93ca5ad943 |
|
13-Nov-2004 |
Heng Jiang <jiang@tzi.de> |
hets program
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3428 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c51b5677113ce7260c44afb3c5932eea6c875e27 |
|
09-Nov-2004 |
Heng Jiang <jiang@tzi.de> |
now the local hets-program can be called
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3410 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b3c65285705f6d184b5f8b00b1a328d96b6b19c5 |
|
09-Nov-2004 |
Heng Jiang <jiang@tzi.de> |
improve the errorhandler
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3402 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 95242ab07e9aa13b37c16cac36a75d190e1766e4 |
|
09-Nov-2004 |
Heng Jiang <jiang@tzi.de> |
CASL Mode of Emacs: first version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3399 cec4b9c1-7d33-0410-9eda-942365e851bb |