Skip to content
Sections
>> Trisquel >> Packages >> etiona >> science >> cafeobj-mode
etiona  ] [  nabia  ] [  aramo  ]
[ Source: cafeobj  ]

Package: cafeobj-mode (1.5.7-1)

Emacs major mode for editing CafeOBJ source code

cafeobj-mode provides syntax highlighting and indentation for CafeOBJ source code inside emacs. Included is the ability to interact with a CafeOBJ interpreter inside emacs and to send expressions from CafeOBJ source files to the running interpreter.

Other Packages Related to cafeobj-mode

  • depends
  • recommends
  • suggests
  • rec: cafeobj
    new generation algebraic specification and programming language

Download cafeobj-mode

Download for all available architectures
Architecture Package Size Installed Size Files
all 25.1 kB121 kB [list of files]