Commit Graph

1 Commits

Author SHA1 Message Date
Marco Maggesi
218bdaf214 Add expression for ProofGeneral
svn path=/nixpkgs/trunk/; revision=18904
2009-12-11 16:18:27 +00:00