index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
/
hol_light
Commit message (
Expand
)
Author
Age
*
Update HOL Light to r218
Marco
2015-02-17
*
hol_light: update from 199 to 205
Vincent Laporte
2014-11-17
*
hol_light: update to r199
Vincent Laporte
2014-10-01
*
Update hol_light to r198. Add myself as a maintainer
Marco Maggesi
2014-09-16
*
hol_light: fix script, upgrade to r189
Austin Seipp
2014-04-27
*
Update HOL Light to revision 179
Marco Maggesi
2014-01-14
*
More description fixes
Bjørn Forsman
2013-10-06
*
Update HOL Light to rev 157
Marco Maggesi
2013-03-25
*
Update HOL Light to revision 155
Marco Maggesi
2013-02-08
*
Update HOL Light to revision 154
Marco Maggesi
2013-02-08
*
Update HOL Light (and fix installation)
Marco Maggesi
2012-12-23
*
Update HOL Light to rev 141
Marco Maggesi
2012-05-30
*
Update HOL Light to r134
Marco Maggesi
2012-05-05
*
Update HOL Light to rev 128
Marco Maggesi
2012-03-17
*
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-02-06
|
\
|
*
Update HOL Light to rev 122.
Marco Maggesi
2012-02-01
*
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
Eelco Dolstra
2012-01-18
|
/
*
Update HOL Light to rev 118
Marco Maggesi
2012-01-10
*
Oops!
Marco Maggesi
2011-12-28
*
Update HOL Light to r116
Marco Maggesi
2011-12-28
*
Update HOL Light to rev 114
Marco Maggesi
2011-12-16
*
Updated HOL Light to revision 112
Marco Maggesi
2011-11-10
*
Update HOL Light to release 102
Marco Maggesi
2011-08-21
*
Update HOL Light to rev 92
Marco Maggesi
2011-06-14
*
Update hol_light and cleanup:
Marco Maggesi
2011-05-21
*
Update HOL Light to r89
Marco Maggesi
2011-04-21
*
* Handle variable createFindlibDestdir correctly in ocaml-findlib
Marco Maggesi
2010-12-23
*
Update HOL Light
Marco Maggesi
2010-11-03
*
Update HOL Light to version 20100820 (rev57 on google code).
Marco Maggesi
2010-09-15
*
Improve hol_light:
Marco Maggesi
2010-09-08
*
Add HOL Light and its dependencies.
Marco Maggesi
2010-02-15