This pull request solves issue #674, see it for details.
Adding QMake (Make-like) language.

Mostly because the file extension conflicts with that of Prolog.
Add misclassified Prolog samples

These two files are incorrectly classified as Perl.  They should be
classified as Prolog.  There are many distinctive tokens in each file
which clearly differentiate between Perl and Prolog.
Idris is upstream in Pygments now: https://bitbucket.org/birkenfeld/pygments-main/pull-request/210
update
Ignore files related to Cocoapods.

These include Podfile, Podfile.lock, and Pods/.
added .pyp suffix and an example source file. closes issue #1
added two more common mathematica suffixes
Merge remote-tracking branch 'upstream/master'
added a sample package
added two notebook samples
Add Mavenfile and Jarfile as Ruby files.
Added generated rule for Zephir language
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
add nix support
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
alphabetic sorting
Add .nuspec extension to XML
Add Xojo language and example
remove non-source file extensions of Xojo language