Where can I find a LOTOS-mode for emacs?
CADP FAQA LOTOS-mode is included in CADP, you will find it in "$CADP/emacs". A READ_ME file explains how to install it.
Related QuestionsWhy does zsh not work in an Emacs shell mode any more?
Z-Shell Frequently-Asked QuestionsEmacs 19.29 or thereabouts stopped using a terminal type of "emacs" in shell buffers, and instead sets it to "dumb". Zsh only kicks in its special I'm-inside-emacs initialization when the terminal type is "emacs". Probably the most reliable way of dealing with this is to look for the environment variable $EMACS, which is set to t in Emacs' shell mode. Putting [[ $EMACS = t ]] && unsetopt zle in your .zshrc should be sufficient.
Related QuestionsIs there a GNU emacs editing mode for MATLAB?
MATLAB Frequently Asked QuestionsA GNU emacs 'matlab-mode' is available via anonymous ftp from csi.jpl.nasa.gov as pub/matlab/util/matlab-mode.el
Related QuestionsIs there an emacs mode for ECLiPSe?
ECLiPSe Programming FAQYes, and it is bundled with recent versions of ECLiPSe. Put eclipse.el in your emacs path, and add the line (autoload 'eclipse-mode "eclipse.el" "ECLIPSE editing mode" t) to your .emacs file. You will need a recent version of emacs: at least GNU emacs 20 or XEmacs 21. Instructions for using the mode are found at the start of the eclipse.el file. Yes, ECLiPSe is ISO Prolog compliant. There are also libraries to emulate other Prolog dialects, such as SICStus Prolog.
Related QuestionsWhat is LOTOS?
CADP FAQLOTOS is an acronym for "Language Of Temporal Ordering Specification". The language finds its origin within the standardisation effort related to the Open Systems Interconnection (OSI) standard, initiated by the International Standards Organisation (ISO). The standards organisation recognized in the early 1980's that there was a clear need for an unambiguous statement of requirements for the OSI model that is free from implementation bias.
Related QuestionsWhere can I get a perl-mode for emacs?
Perl FAQSince Emacs version 19 patchlevel 22 or so, there has been both a perl-mode.el and support for the perl debugger built in. These should come with the standard Emacs 19 distribution. In the perl source directory, you'll find a directory called ''emacs'', which contains several files that should help you. Daniel Smith <dls@best.com> is working on an interactive Perl shell called SoftList. It's currently at version 3.0b7a (beta). SoftList 3.
Related QuestionsGNU Emacs FAQ for WindowsUsers have also recommended an alternate mode named cperl-mode. You can get this from http://www.emacswiki.org/cgi-bin/wiki/CPerlMode.Related Questions
How do I use python-mode with Emacs?
GNU Emacs FAQ for WindowsThe python-mode shipped with Python 1.5 requires a new custom.el before it can be used with Emacs 19.34. For more information, see the description of python-mode at http://www.python.org/emacs/python-mode/.
Related QuestionsWhat are perl mode indentation setting for emacs ?
Cricket FAQTry these: # Local Variables: # mode: perl # indent-tabs-mode: nil # tab-width: 4 # perl-indent-level: 4 # End: How do I change my config tree to use the view dictionary entries introduced in 1.0.4? (added by jakeb 6/7/02) This is best illustrated via example. Suppose this is your existing (pre-1.0.
Related QuestionsA4.4 Is there an Emacs mode for Gri?
Gri Frequently Asked QuestionsYes. Peter Galbraith has written a very powerful mode for Gri commandfiles which is supplied with Gri and which is fully documented in the manual. The capabilities of the mode include the following. Uses built-in knowledge of Gri commands to 'complete' your commands. For example, typing 'drM-TAB' (where M-TAB is the completion keystroke) causes the mode to write 'draw' in place of the 'dr'. Pressing M-TAB again gives a list of all Gri commands starting with 'draw'.
Related QuestionsHow can I start Emacs in fullscreen mode on MS-Windows?
GNU Emacs FAQUse the function w32-send-sys-command. For example, you can put the following in your .emacs file: (add-hook 'term-setup-hook #'(lambda () (w32-send-sys-command ?\xF030))) To avoid the slightly distracting visual effect of Emacs starting with its default frame size and then growing to fullscreen, you can add an 'Emacs.Geometry' entry to the Windows registry settings (see see (emacs)X Resources).
Related QuestionsEmacs in console mode goes beyond the window size. What do I do?
GNU Emacs FAQ for WindowsWith Emacs 20.3 and previous version, Emacs uses the size of the console buffer as the frame size. If your console window has buffer larger than the window (e.g., it uses a verical scrollbar), then Emacs' frame will be larger than the console window. To work around this problem, make the console buffer the size of the console window. Or, if you have source, apply this patch to src/w32console.c. Since version 20.
Related QuestionsHow do I use the EDT emulation mode in Emacs?
GNU Emacs FAQ for WindowsTo use the EDT emulation package distributed with Emacs, place the following in your startup file: (setenv "TERM" "pc") (setq term-setup-hook 'edt-emulation-on) You might want to also browse through the EDT emulation documentation in etc/edt-user.doc. It describes which keys are emulated, how they are mapped onto the keypad and function keys, etc.
Related QuestionsHow do I enable font-lock-mode for Python in Emacs?
Python Frequently Asked QuestionsIf you are using XEmacs 19.14 or later, any XEmacs 20, FSF Emacs 19.34 or any Emacs 20, font-lock should work automatically for you if you are using the latest python-mode.el. If you are using an older version of XEmacs or Emacs you will need to put this in your .emacs file: (defun my-python-mode-hook () (setq font-lock-keywords python-font-lock-keywords) (font-lock-mode 1)) (add-hook 'python-mode-hook 'my-python-mode-hook)
Related QuestionsIs there an if-then-else instruction in LOTOS?
CADP FAQThere are several ways of writing "if V then B1 else B2 endif" in LOTOS, even though there is no explicit "if-then-else" instruction: The previous expression may be greatly simplified by using the C-language pre-processor (command cc -P) with the following macros: #define if (let OK:BOOL = ( #define then ) in ([OK] -> ( #define else ) [] [not (OK)] -> ( #define endif )))
Related QuestionsWhat is Basic LOTOS?
CADP FAQBasic LOTOS is a simplified version of LOTOS that only describes processes without data, while "Full LOTOS" describes processes together with data (Full LOTOS is a value-passing process algebra). In LOTOS, you can only hide actions based on the name of gates. Indeed, the "hide" operator only accepts gates (in fact, hiding a gate has the effect of declaring the gate).
Related QuestionsWhat is the semantics of LOTOS?
CADP FAQThe process algebras provide a basis for the formal specification of the behaviour of a system, that allows unambiguous definition of: Both synchronous and asynchronous communication can be specified in LOTOS. The abstract data type part of LOTOS allows implementation independent specification of data exchanged between processes.
Related QuestionsIs LOTOS executable?
CADP FAQBy nature, LOTOS descriptions are executable. Several approaches exist to validate LOTOS descriptions by execution: generating a running prototype, using a code-generator for a high-level imperative language such as C, The CAESAR and CAESAR.ADT compilers translate LOTOS descriptions into executable code. In particular, the C code generated for EXEC/CAESAR ("-exec" option of CAESAR) can be used to connect a LOTOS specification to a real environment. See the paper by Garavel-Viho-Zendri-00.
Related QuestionsHow do I make Emacs use a certain major mode for certain files?
GNU Emacs FAQIf you want to use a certain mode foo for all files whose names end with the extension .bar, this will do it for you: (setq auto-mode-alist (cons '("\\.bar\\'" . foo-mode) auto-mode-alist)) Otherwise put this somewhere in the first line of any file you want to edit in the mode foo (in the second line, if the first line begins with '#!'): -*- foo -*- Beginning with Emacs 19, the variable interpreter-mode-alist specifies which mode to use when loading a shell script.
Related QuestionsIs it possible to include entries from org-mode files into my emacs diary?
Org-mode Frequently Asked QuestionsSince the org-mode agenda is much more powerful and can contain the diary, you should think twice before deciding to do this. If you insist, however, integrating Org-mode information into the diary is possible. You need to turn on fancy diary display by setting in .
Related QuestionsBut what about Emacs?
Frequently asked questionsIn Emacs, you need to use the command M-x server-start before invoking the edit hook from the Factor end.
Related QuestionsGNU Emacs FAQThe complete text of the Emacs manual is available on-line via the Info hypertext reader. Type C-h r to display the manual in Info mode. Typing <h> immediately after entering Info will provide a short tutorial on how to use it. To quickly locate the section of the manual which discusses a certain issue, or describes a command or a variable, type C-h i m emacs <RET> i topic <RET>, where topic is the name of the topic, the command, or the variable which you are looking for.Related Questions
Subject: 7.35 How come my alt key combinations don't work in emacs X mode?
It is even possible to use both Alt keys together, resulting in Meta-versions of the extra characters. For some reason, Flex licensing requires /dev/lan0 to have read and write permissions for everybody. This is somewhat insecure, but is fixed in FLEXlm versions after 2.4. You should really upgrade your software, but if you can't, pls see their Web Site (see below) or here is one workaround: chgrp/chmod g+s on any binaries that need to access /dev/lan0.
Related QuestionsWhere can I find ISO standards written in LOTOS?
CADP FAQOnce you're at this site, click on <<ISO catalogue>>, then click on <<International Standards>> and then use the keyword search with the keyword "LOTOS" .
Related QuestionsHow can I split my LOTOS description into several files?
CADP FAQuse "library File1, File2 endlib" This line will include files FILE1.lib, FILE2.lib to the description. Note that the name is in upper-case, and ends with the .lib suffix. In standard LOTOS, library is reserverd for Type definitions. In CADP, it has been extended to everything (types, processes, ... ). "library" thus has the same behaviour as "#include" has in the C language. use "#include" as you would in the C language, and use the C pre-processor ("cpp -P toto.lotos.cpp > toto.lotos").
Related QuestionsCan LOTOS handle concurrency?
CADP FAQLOTOS is extremely well-suited to denote concurrency between communicating processes. The CCS and CSP calculi form the core of the LOTOS language, which is also referred to as "Basic LOTOS". This subset provides all necessary means to decompose the system into (communicating) processes and to define the observable behaviour of the process (e.g. with the environment or with other processes).
Related QuestionsWhat sorts of systems can be described in LOTOS?
CADP FAQObviously, any kind of reactive system that involves asynchronous concurrency. Typical application areas are: True. If you are looking for the shortest execution path from the initial state to a given state numbered S, the command aldebaran -path S FILE.bcg
Related QuestionsAre there short-circuit "and" and "or" expressions in LOTOS?
CADP FAQIn a short-circuit "and", the left expression is only evaluated if the right expression is true (like the "and then" operator in ADA). In a short-circuit "or", the left expression is only evaluated if the right expression is false (like the "or else" operator in ADA). This is not very standard in LOTOS, but you can do it easily using CADP. All you have to do is to use the X_BOOLEAN library instead of the BOOLEAN library.
Related Questions