Kevin Sawicki
13109bb9b8
Sort filenames
2014-06-20 11:28:35 -07:00
Kevin Sawicki
84f3b3720b
Move .pryrc to filenames
2014-06-20 11:27:28 -07:00
Kevin Sawicki
858a66ccc8
Add .pryrc support
2014-06-20 11:18:08 -07:00
Arfon Smith
62bd96a778
Merge branch 'master' into 820-local
...
Conflicts:
lib/linguist/samples.json
2014-06-20 12:37:20 +01:00
Arfon Smith
0758c05186
Merge branch 'master' into 675-local
...
Conflicts:
.gitignore
lib/linguist/languages.yml
lib/linguist/samples.json
2014-06-20 12:22:58 +01:00
Arfon Smith
ea7e894139
Explicit lexer
2014-06-20 12:13:04 +01:00
Arfon Smith
21f0ac99e6
Merge branch 'master' into 1232-local
...
Conflicts:
lib/linguist/samples.json
2014-06-20 12:11:43 +01:00
Arfon Smith
bf3db20a9d
Samples
2014-06-20 10:58:44 +01:00
Arfon Smith
bd55147847
Merge branch 'master' into 1261-local
2014-06-20 10:58:21 +01:00
Arfon Smith
b7bda34645
Samples update
2014-06-20 10:46:38 +01:00
Arfon Smith
28a64c9318
Samples
2014-06-20 10:27:47 +01:00
Arfon Smith
74be618fff
Merge pull request #1290 from github/1258-local
...
1258 local
2014-06-20 10:26:59 +01:00
Arfon Smith
8bbe10bf50
Reordering
2014-06-20 10:22:14 +01:00
Arfon Smith
c26382301c
Merge branch 'master' into 1132-local
...
Conflicts:
lib/linguist/samples.json
2014-06-20 10:12:04 +01:00
Arfon Smith
e12bc07041
Samples
2014-06-19 16:03:05 +01:00
Arfon Smith
20416369ac
Merge pull request #1282 from github/map-nuspec-to-xml
...
Add .nuspec extension to XML
2014-06-19 16:02:36 +01:00
Arfon Smith
dc1b8d9e80
Samples
2014-06-19 15:03:30 +01:00
Arfon Smith
bf0a814514
Merge pull request #1283 from LyricsMaster/add-xojo
...
Add Xojo language support
2014-06-19 15:03:04 +01:00
Arfon Smith
195a4115d8
Samples
2014-06-19 14:50:41 +01:00
Arfon Smith
e1da8eb841
Merge pull request #1280 from diekmann/patch-1
...
Added language Isabelle
2014-06-19 14:50:14 +01:00
Kenichi Maehashi
14738f037f
remove non-source file extensions of Xojo language
2014-06-19 07:27:54 +09:00
Kenichi Maehashi
a437943516
Add Xojo language and example
2014-06-19 01:29:54 +09:00
Kevin Sawicki
900ee57de8
Add .nuspec extension to XML
2014-06-18 08:58:18 -07:00
diekmann
947f4e1c57
alphabetic sorting
2014-06-18 09:34:26 +02:00
diekmann
d9f17a65dd
Isabelle language - fixed lexer and added sample
...
Also, Isabelle is very polular in academia.
See for example http://scholar.google.de/scholar?q=isabelle%2FHOL
In around 40 days, the seL4 microkernel [1] with its
Isabelle proofs is (probably) released on github [2].
[1] http://sel4.systems/
[2] https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-June/msg00011.html
2014-06-18 09:16:31 +02:00
Arfon Smith
f71def19ae
Merge pull request #1279 from github/jdennes-vendored-octicon-styles
...
Vendor Octicon styles
2014-06-17 21:42:11 -05:00
Charles Strahan
e452e85cae
add nix support
2014-06-17 19:32:22 -04:00
diekmann
5059fe90b0
Added language Isabelle
...
Isabelle is a generic proof assistant. It is comparables (to some degree) to Coq.
Used in
* diekmann/topoS
* 3of8/sturm
* formare/auctions
* larsrh/hol-falso
* dpthayer/MetaProof
Hello Wolrd example (file must be named HelloWorld.thy):
theory HelloWorld
imports Main
begin
(*put content here*)
end
2014-06-17 21:27:03 +02:00
Arfon Smith
b90da731d6
Samples
2014-06-16 16:28:21 -05:00
Arfon Smith
d2012519ba
Merge pull request #1268 from metopa/patch-1
...
Support of the .inc extension in Assembly group.
2014-06-16 16:27:35 -05:00
Gusakov Nikita
1b7f26091c
Added generated rule for Zephir language
2014-06-16 19:20:43 +04:00
James Dennes
548e4f1845
Add Octicons entries to vendor.yml
2014-06-15 16:22:18 +02:00
Andy Lindeman
a707587182
Bumps to 2.12.0
2014-06-11 14:00:46 -04:00
Andy Lindeman
6818744dae
Merge remote-tracking branch 'origin/master' into pygments-bump
2014-06-11 13:56:53 -04:00
Andy Lindeman
607185ac61
Be explicit about lexer
2014-06-11 13:56:40 -04:00
Brian Lopez
09b9a8b441
bump version for 2.11.5 release
2014-06-10 16:00:08 -05:00
Andy Lindeman
85479cc2de
Swift has a lexer now
2014-06-10 15:54:56 -04:00
Andy Lindeman
3ad4eb2b59
Adds supports for Slim
2014-06-10 15:54:56 -04:00
Viacheslav Kroilov
3d23d1be69
Added .inc extension in Assembly group.
...
It`s include file for assembler source that helps to structure code. Usually contains normal assembly source.
2014-06-10 21:25:27 +04:00
Arfon Smith
e709ce7d56
Samples
2014-06-09 06:27:26 -05:00
Arfon Smith
32c89a5405
Merge pull request #1260 from dalehenrich/patch-1
...
.ston extension for "Smalltalk Object Notation"
2014-06-09 06:26:34 -05:00
Dale Henrichs
00e1a3f8fd
ahhh, caps are sorted before lower case ...
2014-06-08 20:56:09 -07:00
Dale Henrichs
539256b08e
send to travis
2014-06-08 20:49:45 -07:00
Dale Henrichs
ff791f5a39
"looks like I should have used JSON lexer
...
- let's see what travis has to say
2014-06-08 20:41:41 -07:00
William Woodruff
03cb7d6ffb
Merge remote-tracking branch 'upstream/master'
2014-06-08 22:54:13 -04:00
William Woodruff
33c42638e9
added two more common mathematica suffixes
2014-06-07 21:21:47 -04:00
Dale Henrichs
9d940755e7
.ston extension for "Smalltalk Object Notation"
...
See https://github.com/svenvc/ston
2014-06-07 14:49:39 -07:00
Niklas Rosenstein
a7cba23526
added .pyp suffix and an example source file. closes issue #1
2014-06-07 01:29:30 +02:00
Simon Wistow
7cd23036a7
Add support for the Varnish VCL edge scripting language
2014-06-06 12:59:50 -07:00
Arfon Smith
44c5413abf
Merge pull request #1256 from github/1042-update
...
1042 update
2014-06-06 12:38:45 -05:00
