| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Remove option aspect of 'finfo' datatype, and rename datatype to 'mldata'. |  mark | 2012-02-24 |
| | | | | | | Add wrapper function for :thm -> thm list. Promote more objects. | ||
| * | Various small improvements to capability | mark | 2012-02-21 |
| Whole of examples3 now processes Facility for adding manual labels to atomic/composite tactics | |||
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |