| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Removing files from ML4PG folder |  joheras | 2013-05-31 |
| * | Removing ML4PG files from coq folder. | joheras | 2013-05-31 |
| * | Removing ML4PG files from coq folder. | joheras | 2013-05-31 |
| * | *** empty log message *** | joheras | 2013-05-31 |
| * | Removing hidden files of ML4PG. | joheras | 2013-05-31 |
| * | Removing hidden files from ML4PG. | joheras | 2013-05-31 |
| * | ML4PG modification | joheras | 2013-05-31 |
| * | Documentation of ML4PG | joheras | 2013-05-31 |
| * | *** empty log message *** | joheras | 2013-05-30 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |