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

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/.