From bittner3 at buffalo.edu Thu Apr 5 15:42:40 2007 From: bittner3 at buffalo.edu (Thomas Bittner) Date: Thu, 5 Apr 2007 09:42:40 -0400 Subject: [Hets-users] emacs problem Message-ID: <5268588D-5A81-4C7D-AACD-43DACE40CC5B@buffalo.edu> Hi, first of all the installation program works great!! I have some problems with getting the casl emacs mode running properly. I am running carbon emacs on mac osx: GNU Emacs 22.0.90.1 (powerpc-apple-darwin8.8.0, Carbon Version 1.6.0) of 2006-10-28 on G5.local Copyright (C) 2006 Free Software Foundation, Inc. when I start emacs with a file with the extension .casl then the following messages are displayed: (/Applications/Emacs.app/Contents/MacOS/Emacs) Loading mac-print-mode... Loading advice...done Loading mac-print-mode...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site- start.d/auctex.el (source)... Loading /Applications/Emacs.app/Contents/Resources/site-lisp/tex- site.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site- start.d/auctex.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site- start.d/carbon-emacs-builtin-aspell.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site- start.d/carbon-emacs-japanese-init.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site- start.d/carbon-emacs-path.el (source)... PATH=/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin PATH=/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/X11R6/bin PATH=/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/X11R6/bin:/usr/ local/teTeX/bin/powerpc-apple-darwin-current Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site- start.d/carbon-emacs-path.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site- start.d/preview-latex.el (source)...done Loading /usr/local/ProofGeneral/generic/proof-site.el (source)...done Loading cua-base...done Loading paren...done Loading /usr/local/Hets/lib/el/casl.el (source)... casl-mode setup complete Loading /usr/local/Hets/lib/el/casl.el (source)...done Loading url-util...done Loading /usr/local/Hets/lib/el/casl-mode.el (source)...done Loading /usr/local/Hets/lib/el/casl-indent.el (source)...done Loading vc-cvs...done Loading encoded-kb...done Loading cl-macs...done so everything seems fine and the syntax coloring looks fine too. when I try to do C-c C-r then I get: setq: Symbol's value as variable is void: option the emacs debugger says: Debugger entered--Lisp error: (void-variable option) (concat option " " option2) (setq option (concat option " " option2)) casl-run-hets-r() call-interactively(casl-run-hets-r) if I press C-c C-g then I get: [2 times] setq: Symbol's value as variable is void: option the emacs debugger says: Debugger entered--Lisp error: (void-variable option) (concat option " " option2) (setq option (concat option " " option2)) casl-run-hets-r("-g") casl-run-hets-g() call-interactively(casl-run-hets-g) recursive-edit() byte-code( ....... debug(error (void-variable option)) (concat option " " option2) (setq option (concat option " " option2)) casl-run-hets-r() call-interactively(casl-run-hets-r) I am not an emacs specialist. did I do something wrong? thanks TB Thomas Bittner Department of Philosophy Department of Geography New York State Center of Excellence in Bioinformatics and Life Sciences National Center for Geographic Information and Analysis University at Buffalo 135 Park Hall Buffalo, NY 14260 bittner3 at buffalo.edu http://www.buffalo.edu/~bittner3 -------------- next part -------------- An HTML attachment was scrubbed... URL: From bittner3 at buffalo.edu Mon Apr 9 14:26:02 2007 From: bittner3 at buffalo.edu (Thomas Bittner) Date: Mon, 09 Apr 2007 14:26:02 +0200 Subject: [Hets-users] emacs problem Message-ID: <461A30DA.5020203@buffalo.edu> Hi, first of all the installation program works great!! I have some problems with getting the casl emacs mode running properly. I am running carbon emacs on mac osx: GNU Emacs 22.0.90.1 (powerpc-apple-darwin8.8.0, Carbon Version 1.6.0) of 2006-10-28 on G5.local Copyright (C) 2006 Free Software Foundation, Inc. when I start emacs with a file with the extension .casl then the following messages are displayed: (/Applications/Emacs.app/Contents/MacOS/Emacs) Loading mac-print-mode... Loading advice...done Loading mac-print-mode...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site-start.d/auctex.el (source)... Loading /Applications/Emacs.app/Contents/Resources/site-lisp/tex-site.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site-start.d/auctex.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site-start.d/carbon-emacs-builtin-aspell.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site-start.d/carbon-emacs-japanese-init.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site-start.d/carbon-emacs-path.el (source)... PATH=/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin PATH=/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/X11R6/bin PATH=/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/X11R6/bin:/usr/local/teTeX/bin/powerpc-apple-darwin-current Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site-start.d/carbon-emacs-path.el (source)...done Loading /Applications/Emacs.app/Contents/Resources/site-lisp/site-start.d/preview-latex.el (source)...done Loading /usr/local/ProofGeneral/generic/proof-site.el (source)...done Loading cua-base...done Loading paren...done Loading /usr/local/Hets/lib/el/casl.el (source)... casl-mode setup complete Loading /usr/local/Hets/lib/el/casl.el (source)...done Loading url-util...done Loading /usr/local/Hets/lib/el/casl-mode.el (source)...done Loading /usr/local/Hets/lib/el/casl-indent.el (source)...done Loading vc-cvs...done Loading encoded-kb...done Loading cl-macs...done so everything seems fine and the syntax coloring looks fine too. when I try to do C-c C-r then I get: setq: Symbol's value as variable is void: option the emacs debugger says: Debugger entered--Lisp error: (void-variable option) (concat option " " option2) (setq option (concat option " " option2)) casl-run-hets-r() call-interactively(casl-run-hets-r) if I press C-c C-g then I get: [2 times] setq: Symbol's value as variable is void: option the emacs debugger says: Debugger entered--Lisp error: (void-variable option) (concat option " " option2) (setq option (concat option " " option2)) casl-run-hets-r("-g") casl-run-hets-g() call-interactively(casl-run-hets-g) recursive-edit() byte-code( ....... debug(error (void-variable option)) (concat option " " option2) (setq option (concat option " " option2)) casl-run-hets-r() call-interactively(casl-run-hets-r) I am not an emacs specialist. did I do something wrong? thanks TB Thomas Bittner Department of Philosophy Department of Geography New York State Center of Excellence in Bioinformatics and Life Sciences National Center for Geographic Information and Analysis University at Buffalo 135 Park Hall Buffalo, NY 14260 bittner3 at buffalo.edu http://www.buffalo.edu/~bittner3 From luecke at informatik.uni-bremen.de Thu Apr 12 11:38:17 2007 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Thu, 12 Apr 2007 11:38:17 +0200 Subject: [Hets-users] Hets Installers and Live-CD Message-ID: <461DFE09.2010002@informatik.uni-bremen.de> Hello, \begin{trollmode} first :P \end{trollmode} ok enouh of trolling, now the real concern... new versions of the Hets installers are available on http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm these installers are the second release candidates. And now... we are proud to present Thiemos first version of a Hets-Life-CD available from http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/live-cd/hets_livecd_i386.iso this CD is based on the Knoppix-CD... and it should run on any PC. Cheers, Dominik -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at tzi.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x2D82571B