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 269
  • Win 106
  • Mac 55
  • Linux 108
May 22 May 21 May 20 May 19 May 18 May 17 May 16 May 15 May 14 May 13 May 12 May 11 May 10 May 9 May 8 May 7 May 6 May 5 May 4 May 3 May 2 May 1 Apr 30 Apr 29 Apr 28 Apr 27 Apr 26 Apr 25 Apr 24 Apr 23 Apr 22 Apr 21 Apr 20 Apr 19 Apr 18 Apr 17 Apr 16 Apr 15 Apr 14 Apr 13 Apr 12 Apr 11 Apr 10 Apr 9 Apr 8
Windows 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 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 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 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/.