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 |