about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/hol_light
AgeCommit message (Expand)AuthorFilesLines
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
2010-02-15Add HOL Light and its dependencies.Marco Maggesi7-0/+1690
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-13 05:30:35 +0000