Arfon Smith
e1da8eb841
Merge pull request #1280 from diekmann/patch-1
...
Added language Isabelle
2014-06-19 14:50:14 +01:00
Paul Chaignon
bd694c60e1
Custom File.extname method which returns the filename if it is an extension
2014-06-19 13:25:27 +02: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
Paul Chaignon
b1c2820299
Merge conflicts from master fixed
2014-06-13 18:50:32 +02:00
Kepler Sticka-Jones
382870a881
Add Mavenfile and Jarfile as Ruby files.
2014-06-12 13:11:56 -06: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
DX-MON
624fd74f83
Added C header samples from https://github.com/MiJyn/nightmare/ to fix the misclassifications as C++ that were occuring
2014-06-10 18:54:10 +01: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
Paul Chaignon
5580f39df2
Support of the .pp extension for Pascal
2014-06-10 15:40:26 +02:00
DX-MON
10fed43c27
Added .H and .C as C file extensions as well as them already being C++ ones. This fixes #1054
2014-06-10 11:59:11 +01:00
DX-MON
1d50adf87a
Added a sample that fixes comment two on issue #1264 .
2014-06-10 10:41:00 +01: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
Arfon Smith
50ab58e91f
Merge commit 'refs/pull/1042/head' of github.com:github/linguist into 1042
...
Conflicts:
lib/linguist/vendor.yml
2014-06-06 12:32:30 -05:00
Arfon Smith
1fd0732390
Merge branch 'master' into 1042
...
Conflicts:
lib/linguist/vendor.yml
2014-06-06 12:31:56 -05:00
Arfon Smith
d3c04d6310
nesC
2014-06-06 12:08:38 -05:00
Julian Gehring
f66ffe305f
Change R package ignores to absolute paths
2014-06-06 08:57:11 -07:00
Arfon Smith
2a9ff0083c
Merge branch 'master' into 814
...
Conflicts:
lib/linguist/languages.yml
2014-06-06 09:55:08 -05:00
Brian Lopez
67f7268a55
bump version for v2.11.4 release
2014-06-05 10:55:32 -05:00
Rachel Mant
614a61b0b0
Update heuristics.rb
...
Added the iostream headers and std:: to the C++ heuristics. This covers issues 1250.
2014-06-05 10:37:23 +01:00
Brian Lopez
7e8be1293e
Use the :ruby_encoding value from charlock 0.7.2
2014-06-04 15:51:33 -05:00
Arfon Smith
09c234ec26
Merge pull request #1190 from Madsn/patch-1
...
Add html5shiv to vendor.yml
2014-06-04 10:30:03 -05:00
Arfon Smith
98f35aefdc
Merge branch 'master' into 1035
...
Conflicts:
lib/linguist/languages.yml
lib/linguist/samples.json
2014-06-03 22:03:59 -05:00
Arfon Smith
38a3714514
Samples update
2014-06-03 21:37:25 -05:00
Arfon Smith
491700f925
Merge pull request #1198 from Spirit-of-Oberon/master
...
Support of the Component Pascal language
2014-06-03 21:36:52 -05:00
