| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-08-28 | Deleted file | David Aspinall |
| 2002-08-16 | Identifier name change | David Aspinall |
| 2002-08-08 | Updated for Isabelle2002. | David Aspinall |
| 2001-08-31 | Add simulations of more qed commands, also sort and uniquify dependencies. | David Aspinall |
| 2001-08-31 | Update for Isabelle99-2 | David Aspinall |
| 2000-07-19 | experiments with theorem dependencies | David Aspinall |
| 2000-07-19 | file for theorem dependencies | fionam |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |