Emacs

swMATH26546MaRDI QIDQ38277FDOQ38277

Author name not available (Why is that?)

Official website: https://www.gnu.org/software/emacs/

Cited In (29)

• Warm-up drills and tips for mathematical software
• A flexible framework for visualisation of computational properties of general explicit substitutions calculi
• A general purpose font module for multilingual application programs
• Developing a Lisp-based preprocessor for TEX documents
• Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• KSEG
• Proof General Kit
• bdftopcf
• dvipsk
• FreeType
• GFtoPK
• Ghostscript
• Kpathsea
• VFlib
• VPtoVF
• GTK+
• vi
• Title not available (Why is that?)
• sinhala
• SQLTeX
• Title not available (Why is that?)
• Down with Emacs Lisp
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: Emacs