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 | 1 | -34/+27 |
2010-12-23 | * Handle variable createFindlibDestdir correctly in ocaml-findlib | Marco Maggesi | 1 | -4/+4 |
2010-09-15 | Update HOL Light to version 20100820 (rev57 on google code). | Marco Maggesi | 1 | -37/+35 |
2010-09-08 | Improve hol_light: | Marco Maggesi | 1 | -42/+27 |
2010-02-15 | Add HOL Light and its dependencies. | Marco Maggesi | 1 | -0/+72 |