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 176
  • Win 77
  • Mac 42
  • Linux 57
Mar 28 Mar 27 Mar 26 Mar 25 Mar 24 Mar 23 Mar 22 Mar 21 Mar 20 Mar 19 Mar 18 Mar 17 Mar 16 Mar 15 Mar 14 Mar 13 Mar 12 Mar 11 Mar 10 Mar 9 Mar 8 Mar 7 Mar 6 Mar 5 Mar 4 Mar 3 Mar 2 Mar 1 Feb 29 Feb 28 Feb 27 Feb 26 Feb 25 Feb 24 Feb 23 Feb 22 Feb 21 Feb 20 Feb 19 Feb 18 Feb 17 Feb 16 Feb 15 Feb 14 Feb 13
Windows 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 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 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 1 1 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/.