| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Turn more licenses into lib.licenses style | Mateusz Kowalczyk | 2014-11-06 |
| * | Fix many package descriptions | Bjørn Forsman | 2014-08-24 |
| * | Don't use ensureDir | Eelco Dolstra | 2014-07-22 |
| * | twelf: Fix the source URL | John Wiegley | 2014-06-27 |
| * | twelf: new expression; prover for PL theory and logic | John Wiegley | 2014-06-26 |