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 352
  • Win 138
  • Mac 84
  • Linux 130
Feb 21 Feb 20 Feb 19 Feb 18 Feb 17 Feb 16 Feb 15 Feb 14 Feb 13 Feb 12 Feb 11 Feb 10 Feb 9 Feb 8 Feb 7 Feb 6 Feb 5 Feb 4 Feb 3 Feb 2 Feb 1 Jan 31 Jan 30 Jan 29 Jan 28 Jan 27 Jan 26 Jan 25 Jan 24 Jan 23 Jan 22 Jan 21 Jan 20 Jan 19 Jan 18 Jan 17 Jan 16 Jan 15 Jan 14 Jan 13 Jan 12 Jan 11 Jan 10 Jan 9 Jan 8
Windows 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 0 0 0 0 0 0 0 0
Mac 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 1 1 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 0 0 0 0 0 0 0 0 0 1 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/.