https://github.com/dvberkel/gtksourceview-magma-language-definition
This repository provides a GtkSourceView for the MAGMA language
https://github.com/dvberkel/gtksourceview-magma-language-definition
Last synced: 2 months ago
JSON representation
This repository provides a GtkSourceView for the MAGMA language
- Host: GitHub
- URL: https://github.com/dvberkel/gtksourceview-magma-language-definition
- Owner: dvberkel
- Created: 2011-06-03T12:28:12.000Z (about 14 years ago)
- Default Branch: master
- Last Pushed: 2011-06-19T07:52:09.000Z (almost 14 years ago)
- Last Synced: 2025-02-07T23:34:13.298Z (4 months ago)
- Homepage: http://magma.maths.usyd.edu.au/magma/
- Size: 97.7 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README
Awesome Lists containing this project
README
This repository provides a GtkSourveView language and style definition for the
MAGMA computational algebra system language.Visit http://magma.maths.usyd.edu.au/magma/ for more information on MAGMA.
To use the language definition and its style file it has to be installed.
The instructions below outline a means of installation.1) create a ~/.local/share/gtksourceview-2.0/language-specs directory.
2) place language-specs/magma.lang in above directory.
3) create a ~/.local/share/gtksourceview-2.0/styles directory.
4) place styles/magma.xml in the directory mentioned at 3.