Skip to content
Sections
>> Trisquel >> Paquets >> etiona >> science >> cafeobj-mode
etiona  ] [  nabia  ] [  aramo  ]
[ Paquet source : cafeobj  ]

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

Autres paquets associés à cafeobj-mode

  • dépendances
  • recommandations
  • suggestions
  • rec: cafeobj
    new generation algebraic specification and programming language

Télécharger cafeobj-mode

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 25,1 ko121 ko [liste des fichiers]