b2a486fed2
Merge pull request #3312 from sanssecours/ebnf
...
Add Support for EBNF
2016-11-02 13:07:34 -04:00
4f1e5c34b1
Add permissive-licensed Coq samples
...
BSD-2-Clause: https://github.com/jscert/jscert
* JSCorrectness.v
* JSInterpreterExtraction.v
* JSNumber.v
* JSPrettyInterm.v
MIT/Expat: https://github.com/clarus/coq-atm
* Computation.v
* Main.v
* Spec.v
2016-11-03 02:50:54 +11:00
85c9833081
Delete GPL2.1-licensed Coq samples
...
These files are modified variants of the ones included in Coq's standard
distribution. The original materials feature the GPL 2.1 license in each
file's header, which was suspiciously removed from Linguist's samples.
https://github.com/coq/coq/tree/trunk/theories
Basics.v is a different file to that found in Coq's distro, but is vague
in origin and being removed to err on the side of caution. The remaining
samples are from a MIT-licensed online course by Software Foundations:
https://www.cis.upenn.edu/~bcpierce/sf/current/
References: github/linguist#3313
2016-11-03 02:32:23 +11:00
33899b9d6b
Add support for EBNF
...
Extended Backus–Naur form ([EBNF][]) is a metalanguage used to specify
language grammars.
[EBNF]: https://en.wikipedia.org/wiki/Extended_Backus–Naur_form
2016-11-02 13:50:30 +01:00
417239004a
Merge pull request #3311 from sanssecours/abnf
...
Add Support for ABNF
2016-11-02 08:33:47 -04:00
6a1423d28f
Add support for ABNF
...
Augmented Backus–Naur form ([ABNF][]) is a metalanguage used to specify
language grammars.
[ABNF]: https://en.wikipedia.org/wiki/Augmented_Backus–Naur_form
2016-11-02 12:52:16 +01:00
96a23ce388
Merge pull request #3092 from pchaigno/python-console
...
Support for Python console
2016-11-01 07:18:18 -04:00
e8d7eed3aa
Support for Python console
2016-11-01 11:21:00 +01:00
9d419c4ab9
Merge pull request #3245 from jecisc/smalltalk_examples
...
Add smalltalk samples
2016-10-30 12:31:37 -04:00
4eefc1f58e
Merge pull request #3310 from github/welcoming-Alhadis
...
Adding @Alhadis to the maintainers list.
2016-10-30 08:41:59 -04:00
0b94b9cda7
Update CONTRIBUTING.md
2016-10-30 08:32:33 -04:00
c736038d94
Merge pull request #3308 from github/help-for-highlighting
...
Adding some language about grammars to the README
2016-10-29 09:41:08 -04:00
ec562138f8
More words
2016-10-29 09:40:33 -04:00
50013e8dd7
Words
2016-10-29 09:39:57 -04:00
416c5d1185
Update README.md
2016-10-29 08:58:57 -04:00
8869912d31
Merge pull request #3307 from github/3192-temp
...
3192 part deux
2016-10-29 08:40:10 -04:00
43fa563b77
Adding script/list-grammars to script/add-grammar
2016-10-29 08:33:58 -04:00
41c6aee8c3
Small readme edits
2016-10-29 08:30:09 -04:00
8cf575c37d
Update grammars list
2016-10-29 13:05:59 +11:00
4e20928e04
Merge branch 'master' into grammar-list
2016-10-29 12:31:04 +11:00
3e37bd2680
Merge pull request #2843 from github/go-vendor
...
Go vendor
2016-10-28 00:24:06 -04:00
a29f5b2d46
Adding Go-specific vendor paths
2016-10-27 13:59:09 -04:00
4efc6f8c95
Merge branch 'master' into go-vendor
2016-10-26 18:34:02 -04:00
359699c454
Not going to be staff for much longer.
2016-10-26 13:55:19 -04:00
346aa99fcf
Merge pull request #3296 from github/cut-release-v4.8.16
...
Staging PR for Linguist v4.8.16 release
2016-10-26 13:43:22 -04:00
d147778677
Bumping to v4.8.16
2016-10-25 20:30:46 -04:00
e520209e49
Grammar update
2016-10-25 20:25:07 -04:00
338cc16239
Merge pull request #3264 from Alhadis/rexx-interpreters
...
Add REXX interpreters
2016-10-25 20:15:05 -04:00
67ea35094b
Merge pull request #3295 from github/3233-local
...
UPDATE: Add support for MQL4 and MQL5 languages
2016-10-25 20:10:56 -04:00
6f0393fcbd
Merge branch 'master' into 3233-local
2016-10-25 20:00:48 -04:00
2923d50d7e
Merge pull request #3294 from larsbrinkhoff/boot
...
Makefile.boot misclassified as Clojure.
2016-10-25 18:45:39 -04:00
4e26f609ef
Makefile.boot misclassified as Clojure.
2016-10-25 22:21:31 +02:00
e86d6e8dd2
Merge pull request #3193 from Alhadis/grammar-scripts
...
Add script to add or replace grammars
2016-10-25 07:36:01 -04:00
5fa02ad1fb
Merge pull request #3182 from adius/patch-1
...
Exclude "dist" directory from language statistics
2016-10-22 18:39:51 -04:00
5a06240f69
Merge pull request #3289 from pchaigno/change-grammar-actionscript
...
Update grammar for ActionScript
2016-10-22 18:39:22 -04:00
d6e0f74c80
Merge pull request #3279 from Alhadis/mirror-modes
...
Add CodeMirror modes for GPG keys and IRC logs
2016-10-22 18:38:38 -04:00
a5c08bb203
Update grammar for ActionScript
2016-10-22 21:35:28 +02:00
c6dc29abb1
Merge pull request #3242 from JoshCheek/julia-interpreters
...
Set interpreters for Julia
2016-10-22 12:24:44 -05:00
ffd984bb7e
Merge pull request #3277 from Alhadis/pic
...
Add support for the Pic language
2016-10-17 12:03:43 -05:00
dc5473559b
Merge branch 'master' into grammar-scripts
2016-10-17 17:38:19 +11:00
8e9c224952
Remove color attribute from all languages with a group attribute.
2016-10-13 06:54:21 +02:00
d43f111723
Remove redundant group attribute for ColdFusion.
2016-10-13 06:54:21 +02:00
de9ff713a4
Test that grouped languages have no color.
2016-10-13 06:54:21 +02:00
98783560ec
Add CodeMirror modes for GPG keys and IRC logs
2016-10-12 14:20:58 +11:00
8f31fbbd55
Bump language ID
2016-10-12 11:19:22 +11:00
e4cdbd2b2b
Merge branch 'master' into pic
2016-10-12 11:18:28 +11:00
ba52e48ceb
Merge pull request #3175 from Alhadis/cson
...
Classify CSON as data
2016-10-11 17:16:08 -07:00
a44ebe493b
Bump language ID
2016-10-12 11:10:44 +11:00
eb0e75e11e
Add support for the Pic language
2016-10-12 02:46:17 +11:00
22c2cf4967
Merge pull request #3268 from Alhadis/sublime
...
Add new entry for Sublime Text config files
2016-10-10 16:36:53 -07:00
Arfon Smith
Alhadis
René Schwaiger
Paul Chaignon
Arfon Smith
Lars Brinkhoff