about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/hol_light
AgeCommit message (Expand)AuthorFilesLines
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2020-03-19ocamlPackages.camlp5: 7.10 → 7.11Vincent Laporte1-1/+6
2019-10-13Merge branch 'master' into rename-z77z-into-maggesiMarco Maggesi1-3/+3
2019-10-09hol_light: 2019-03-27 -> 2019-10-06Marco Maggesi1-3/+3
2019-10-07Rename z77z into maggesiMarco Maggesi1-1/+1
2019-04-06hol_light: 2018-09-30 -> 2019-03-27Vincent Laporte1-3/+3
2019-02-26treewide: use runtimeShell instead of stdenv.shell whenever possibleJörg Thalheim1-2/+2
2019-01-16treewide: use ${stdenv.shell} instead of /bin/sh where possiblernhmjoj1-1/+1
2018-10-06hol_light: 2017-07-06 -> 2018-09-30Marco Maggesi1-17/+22
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2017-07-08hol_light: 2016-07-23 -> 2017-07-06Vincent Laporte2-18/+11
2016-11-29hol_light: fix build with Camlp5-6.17Vincent Laporte2-2/+4
2016-07-28Update HOL Light to version 2016-07-23.Marco Maggesi1-5/+3
2016-05-01hol-light: fix build with camlp5-6.16Vincent Laporte1-1/+1
2015-11-03Update HOL Light to version 2015-11-02Marco Maggesi1-8/+8
2015-09-23hol_light: add support for camlp5 > 6.12Vincent Laporte2-0/+15
2015-09-13HOL Light: findlib is not necessary (nor actually used). Remove dependency.Marco Maggesi1-2/+2
2015-09-01Update HOL Light to svn r244.Marco Maggesi1-2/+2
2015-06-03Update HOL Light to svn r232 (2015-05-31)Marco1-2/+2
2015-02-17Update HOL Light to r218Marco1-2/+2
2014-11-17hol_light: update from 199 to 205Vincent Laporte2-17/+2
2014-10-01hol_light: update to r199Vincent Laporte2-3/+18
2014-09-16Update hol_light to r198. Add myself as a maintainerMarco Maggesi1-6/+7
2014-04-27hol_light: fix script, upgrade to r189Austin Seipp1-17/+11
2014-01-14Update HOL Light to revision 179Marco Maggesi1-3/+3
2013-10-06More description fixesBjørn Forsman1-8/+8
2013-03-25Update HOL Light to rev 157Marco Maggesi1-13/+5
2013-02-08Update HOL Light to revision 155Marco Maggesi1-3/+3
2013-02-08Update HOL Light to revision 154Marco Maggesi1-3/+3
2012-12-23Update HOL Light (and fix installation)Marco Maggesi1-3/+3
2012-05-30Update HOL Light to rev 141Marco Maggesi1-3/+3
2012-05-05Update HOL Light to r134Marco Maggesi1-3/+3
2012-03-17Update HOL Light to rev 128Marco Maggesi1-3/+3
2012-02-06svn merge ^/nixpkgs/trunkYury G. Kudryashov1-3/+3
2012-02-01Update HOL Light to rev 122.Marco Maggesi1-3/+3
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra1-1/+1
2012-01-10Update HOL Light to rev 118Marco Maggesi1-3/+3
2011-12-28Oops!Marco Maggesi1-1/+1
2011-12-28Update HOL Light to r116Marco Maggesi1-2/+2
2011-12-16Update HOL Light to rev 114Marco Maggesi1-10/+12
2011-11-10Updated HOL Light to revision 112Marco Maggesi1-3/+3
2011-08-21Update HOL Light to release 102Marco Maggesi1-3/+3
2011-06-14Update HOL Light to rev 92Marco Maggesi1-3/+3
2011-05-21Update hol_light and cleanup:Marco Maggesi5-214/+27
2011-04-21Update HOL Light to r89Marco Maggesi1-3/+3
2010-12-23* Handle variable createFindlibDestdir correctly in ocaml-findlibMarco Maggesi1-4/+4
2010-11-03Update HOL LightMarco Maggesi2-8/+7
2010-09-15Update HOL Light to version 20100820 (rev57 on google code).Marco Maggesi9-140/+216
2010-09-08Improve hol_light:Marco Maggesi10-1643/+113
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-17 01:06:16 +0000