| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - tabs in preambleHEADmaster | Elan Ruusamäe | 2012-06-24 | 1 | -3/+3 |
| * | - converted to UTF-8 | Jan Rękorajski | 2012-06-24 | 1 | -22/+22 |
| * | - fix typo as it killed kenny | djurban | 2012-06-24 | 1 | -1/+1 |
| * | - pl desc | Jakub Bogusz | 2012-06-24 | 1 | -0/+19 |
| * | - some pl, cosmetics | Jakub Bogusz | 2012-06-24 | 1 | -9/+15 |
| * | - initial | djurban | 2012-06-24 | 1 | -0/+91 |
 |
index : packages/otter.git | |
| Theorem Prover | PLD Gitolite User |
| summaryrefslogtreecommitdiff |