| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | hol_light: fix script, upgrade to r189 | Austin Seipp | 2014-04-27 |
| * | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
| * | Add HOL Light and its dependencies. | Marco Maggesi | 2010-02-15 |