Vicent Marti
dbff196b08
Merge pull request #1309 from github/gameover-0x10c
...
Gameover 0x10c
2014-06-23 17:54:53 +02:00
Joshua Peek
5b7316fb2a
Remove DCPU-16 ASM language
2014-06-23 10:48:09 -05:00
Arfon Smith
fa4dfe39ba
Merge pull request #1306 from github/1100-local
...
1100 local
2014-06-23 10:33:01 +01:00
Arfon Smith
89999e60bf
Merge branch 'master' into 1100-local
...
Conflicts:
lib/linguist/languages.yml
2014-06-23 10:28:41 +01:00
Arfon Smith
27a4eeb206
Samples update
2014-06-22 16:19:04 +01:00
Arfon Smith
bacf4d5780
Merge pull request #1303 from geekflyer/master
...
Add .xsjs and .xsjslib as JavaScript extension (SAP HANA XS)
2014-06-22 16:18:04 +01:00
Christian Theilemann
f92fed60f8
Add .xsjs and .xsjslib as JavaScript file extension
...
.xsjs and .xsjslib is used to denote server-side JavaScript files in SAP
HANA XS
2014-06-22 15:24:21 +02:00
Arfon Smith
5e797b548c
Merge pull request #1273 from k2b6s9j/maven
...
Add Mavenfile and Jarfile as Ruby files.
2014-06-22 10:17:54 +01:00
Arfon Smith
700e2f1b2b
Merge pull request #1299 from pchaigno/idl-lexer
...
Lexer for IDL
2014-06-21 17:45:16 +01:00
Paul Chaignon
861656978b
Lexer for IDL
2014-06-21 17:31:49 +02:00
Arfon Smith
9c05bdac85
Samples
2014-06-21 13:19:38 +01:00
Arfon Smith
bd34c16c8f
Merge pull request #1297 from github/map-pryrc-to-ruby
...
Add .pryrc support
2014-06-21 13:13:10 +01:00
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
abb05eace6
Merge pull request #1295 from github/820-local
...
820 local
2014-06-20 12:42:21 +01: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
8cb736adfa
Merge pull request #1294 from github/675-local
...
675 local
2014-06-20 12:29: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
62bc6f0457
Merge pull request #1293 from github/1232-local
...
1232 local
2014-06-20 12:17:09 +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
b251866a29
Merge pull request #1292 from github/1261-local
...
1261 local
2014-06-20 11:02:17 +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
f4d64af39b
Merge pull request #1291 from github/997-local
...
997 local
2014-06-20 10:49:46 +01:00
Arfon Smith
b7bda34645
Samples update
2014-06-20 10:46:38 +01:00
Arfon Smith
b13dea6df0
Merge branch 'master' into 997-local
2014-06-20 10:46:04 +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
d275911624
Merge pull request #1289 from github/1132-local
...
1132 local
2014-06-20 10:17:44 +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
Kevin Sawicki
2be91e9b2e
Add .nuspec sample
2014-06-19 07:53:52 -07: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
Kenichi Maehashi
b14267d40f
add more samples for Xojo language
2014-06-19 22:59:12 +09: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
