about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/twelf
AgeCommit message (Expand)AuthorFilesLines
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer1-2/+2
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2016-09-08twelf: fix emacs modeDan Peebles1-0/+3
2015-03-31twelf: fix by actually including the Twelf SML heap image in the package and ...Ben Darwin1-1/+2
2014-11-06Turn more licenses into lib.licenses styleMateusz Kowalczyk1-1/+1
2014-08-24Fix many package descriptionsBjørn Forsman1-1/+1
2014-07-22Don't use ensureDirEelco Dolstra1-4/+4
2014-06-27twelf: Fix the source URLJohn Wiegley1-1/+1
2014-06-26twelf: new expression; prover for PL theory and logicJohn Wiegley1-0/+46