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
Andy Lindeman
b7685ab317
Bumps to 2.11.3
2014-06-03 14:50:17 -04:00
Andy Lindeman
aa5a94cc3e
Handle case where newline chars don't transcode to detected encoding
...
We've seen cases where binary files are detected as encodings such as
ISO-8859-8-I. This usually happens when the binary files are short, so
while the detector is mistaken, there is also not very much data for use
in the detection algorithm in the first place so it's understandable
that the detector was wrong.
In these cases, the code to convert ASCII newline characters to
encodings such as ISO-8859-8-I fails because there is no conversion
between them.
We now simply assume that the data is all one line in those cases. In
reality the data is binary, but this obviously difficult to detect
reliably.
2014-06-03 12:26:23 -04:00
