ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Magma​Snippets

by cjdoris ALL

Collection of Magma Text 3 snippets for the Magma language

Labels snippets, magma

Details

Installs

  • Total 345
  • Win 136
  • Mac 80
  • Linux 129
Nov 21 Nov 20 Nov 19 Nov 18 Nov 17 Nov 16 Nov 15 Nov 14 Nov 13 Nov 12 Nov 11 Nov 10 Nov 9 Nov 8 Nov 7 Nov 6 Nov 5 Nov 4 Nov 3 Nov 2 Nov 1 Oct 31 Oct 30 Oct 29 Oct 28 Oct 27 Oct 26 Oct 25 Oct 24 Oct 23 Oct 22 Oct 21 Oct 20 Oct 19 Oct 18 Oct 17 Oct 16 Oct 15 Oct 14 Oct 13 Oct 12 Oct 11 Oct 10 Oct 9 Oct 8
Windows 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

MagmaSnippets (Sublime text package)

Collection of Sublime Text snippets for the Magma language. Complements the Magma package.

Magma is a computer algebra system, homepage: http://magma.maths.usyd.edu.au/magma/.

Installation

Package Control (recommended)

Install the Package Control package from https://packagecontrol.io, then use the Package Control: Install Package command to install the MagmaSnippets package.

Manually

In Sublime click Preferences then Browse Packages..., then navigate to the User directory. Create a new directory there called MagmaSnippets and copy the contents of this repository into it.

Contributions and issues

Please report any issues at https://github.com/chrisdoris/sublime-magma-snippets/issues.

I welcome contributions/suggestions. Please get in touch via GitHub.

License

Copyright © 2018 Christopher Doris

This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this. If not, see http://www.gnu.org/licenses/.