| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2012-01-18 | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 1 | -1/+1 |
| 2012-01-10 | Update HOL Light to rev 118 | Marco Maggesi | 1 | -3/+3 |
| 2011-12-28 | Oops! | Marco Maggesi | 1 | -1/+1 |
| 2011-12-28 | Update HOL Light to r116 | Marco Maggesi | 1 | -2/+2 |
| 2011-12-16 | Update HOL Light to rev 114 | Marco Maggesi | 1 | -10/+12 |
| 2011-11-10 | Updated HOL Light to revision 112 | Marco Maggesi | 1 | -3/+3 |
| 2011-08-21 | Update HOL Light to release 102 | Marco Maggesi | 1 | -3/+3 |
| 2011-06-14 | Update HOL Light to rev 92 | Marco Maggesi | 1 | -3/+3 |
| 2011-05-21 | Update hol_light and cleanup: | Marco Maggesi | 5 | -214/+27 |
| 2011-04-21 | Update HOL Light to r89 | Marco Maggesi | 1 | -3/+3 |
| 2010-12-23 | * Handle variable createFindlibDestdir correctly in ocaml-findlib | Marco Maggesi | 1 | -4/+4 |
| 2010-11-03 | Update HOL Light | Marco Maggesi | 2 | -8/+7 |
| 2010-09-15 | Update HOL Light to version 20100820 (rev57 on google code). | Marco Maggesi | 9 | -140/+216 |
| 2010-09-08 | Improve hol_light: | Marco Maggesi | 10 | -1643/+113 |
| 2010-02-15 | Add HOL Light and its dependencies. | Marco Maggesi | 7 | -0/+1690 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |