| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | New proof general version | Ryan Kavanagh | 2013-07-25 |
| * | Added proofgeneral | Ryan Kavanagh | 2013-02-19 |
 |
index : ryanakca-dotfiles | |
| My configuration files |
| aboutsummaryrefslogtreecommitdiff |
|
index : ryanakca-dotfiles | |
| My configuration files |
| aboutsummaryrefslogtreecommitdiff |
| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | New proof general version | Ryan Kavanagh | 2013-07-25 |
| * | Added proofgeneral | Ryan Kavanagh | 2013-02-19 |