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

Paket: 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.

Andere Pakete mit Bezug zu cafeobj-mode

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • rec: cafeobj
    new generation algebraic specification and programming language

cafeobj-mode herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 25,1 kB121 kB [Liste der Dateien]