| e3e8012200ee876eb18f459e601297ae429e79c9 |
|
16-Dec-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
also dol files...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18397 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 |
| 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 |
| bea89873971a7a988b345c84f5b10c7ad6b5d602 |
|
15-Mar-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved loading of Isabelle from hets startup script and hets from casl-mode.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7680 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b4fc5ea5cb085d38694cab93648e4d20451cd9dc |
|
24-Nov-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added autoloading of casl-mode and casl-indentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7201 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 |
| dd7c739b90110aeb5cb3bc91922e95131014d948 |
|
20-Nov-2006 |
Heng Jiang <jiang@tzi.de> |
casl mode can be loaded in .emacs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7165 cec4b9c1-7d33-0410-9eda-942365e851bb |