900ee57de8
Add .nuspec extension to XML
2014-06-18 08:58:18 -07:00
947f4e1c57
alphabetic sorting
2014-06-18 09:34:26 +02:00
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
f71def19ae
Merge pull request #1279 from github/jdennes-vendored-octicon-styles
...
Vendor Octicon styles
2014-06-17 21:42:11 -05:00
e452e85cae
add nix support
2014-06-17 19:32:22 -04:00
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
b90da731d6
Samples
2014-06-16 16:28:21 -05:00
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
1b7f26091c
Added generated rule for Zephir language
2014-06-16 19:20:43 +04:00
548e4f1845
Add Octicons entries to vendor.yml
2014-06-15 16:22:18 +02:00
382870a881
Add Mavenfile and Jarfile as Ruby files.
2014-06-12 13:11:56 -06:00
a707587182
Bumps to 2.12.0
2014-06-11 14:00:46 -04:00
6818744dae
Merge remote-tracking branch 'origin/master' into pygments-bump
2014-06-11 13:56:53 -04:00
607185ac61
Be explicit about lexer
2014-06-11 13:56:40 -04:00
09b9a8b441
bump version for 2.11.5 release
2014-06-10 16:00:08 -05:00
85479cc2de
Swift has a lexer now
2014-06-10 15:54:56 -04:00
3ad4eb2b59
Adds supports for Slim
2014-06-10 15:54:56 -04:00
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
e709ce7d56
Samples
2014-06-09 06:27:26 -05:00
32c89a5405
Merge pull request #1260 from dalehenrich/patch-1
...
.ston extension for "Smalltalk Object Notation"
2014-06-09 06:26:34 -05:00
00e1a3f8fd
ahhh, caps are sorted before lower case ...
2014-06-08 20:56:09 -07:00
539256b08e
send to travis
2014-06-08 20:49:45 -07:00
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
03cb7d6ffb
Merge remote-tracking branch 'upstream/master'
2014-06-08 22:54:13 -04:00
33c42638e9
added two more common mathematica suffixes
2014-06-07 21:21:47 -04:00
9d940755e7
.ston extension for "Smalltalk Object Notation"
...
See https://github.com/svenvc/ston
2014-06-07 14:49:39 -07:00
a7cba23526
added .pyp suffix and an example source file. closes issue #1
2014-06-07 01:29:30 +02:00
7cd23036a7
Add support for the Varnish VCL edge scripting language
2014-06-06 12:59:50 -07:00
44c5413abf
Merge pull request #1256 from github/1042-update
...
1042 update
2014-06-06 12:38:45 -05:00
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
1fd0732390
Merge branch 'master' into 1042
...
Conflicts:
lib/linguist/vendor.yml
2014-06-06 12:31:56 -05:00
d3c04d6310
nesC
2014-06-06 12:08:38 -05:00
f66ffe305f
Change R package ignores to absolute paths
2014-06-06 08:57:11 -07:00
2a9ff0083c
Merge branch 'master' into 814
...
Conflicts:
lib/linguist/languages.yml
2014-06-06 09:55:08 -05:00
67f7268a55
bump version for v2.11.4 release
2014-06-05 10:55:32 -05:00
7e8be1293e
Use the :ruby_encoding value from charlock 0.7.2
2014-06-04 15:51:33 -05:00
09c234ec26
Merge pull request #1190 from Madsn/patch-1
...
Add html5shiv to vendor.yml
2014-06-04 10:30:03 -05:00
98f35aefdc
Merge branch 'master' into 1035
...
Conflicts:
lib/linguist/languages.yml
lib/linguist/samples.json
2014-06-03 22:03:59 -05:00
38a3714514
Samples update
2014-06-03 21:37:25 -05:00
491700f925
Merge pull request #1198 from Spirit-of-Oberon/master
...
Support of the Component Pascal language
2014-06-03 21:36:52 -05:00
b7685ab317
Bumps to 2.11.3
2014-06-03 14:50:17 -04:00
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
2164b28c64
Update Swift color
2014-06-03 16:03:49 +02:00
0fb824b345
Add orange color to Swift
2014-06-03 15:54:15 +02:00
4a7ae50ec8
Dammit
2014-06-02 21:07:11 -05:00
398439a937
Pedantic
2014-06-02 21:04:39 -05:00
a3bc3a7615
Merge branch 'master' into 1239-update
...
Conflicts:
lib/linguist/samples.json
2014-06-02 21:01:00 -05:00
7989fbd613
Samples
2014-06-02 21:00:03 -05:00
c389c79be9
fixed zimpl declaration position collation order problem
2014-06-02 18:30:45 -07:00
1fd2f921fd
added yet another zimpl extension that is in use
2014-06-02 18:28:00 -07:00
Kevin Sawicki
diekmann
Arfon Smith
Charles Strahan
diekmann
Arfon Smith
Gusakov Nikita
James Dennes
Kepler Sticka-Jones
Andy Lindeman
Brian Lopez
Viacheslav Kroilov
Dale Henrichs
William Woodruff
Niklas Rosenstein
Simon Wistow
Julian Gehring
Adrian Kashivskyy
john howard