| #
e7a8826a |
|
02-Mar-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Update Q.ABBREV_TAC documentation to mention behaviour from e693dc92
|
| #
3825a653 |
|
10-Aug-2010 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Purge on broken links within the (HTML) documentation. This mostly involves
deleting SEEALSO entries (where documentation doesn't exist) but also fixing a
few links.
Also fixed the anchor links in TheoryIndex.html and idIndex.html. In both
cases there aren't any entries starting with the letter "Y".
|
| #
48804de8 |
|
13-Jul-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
More, and revised, documentation for the brave new world of abbreviations.
|
| #
660febb0 |
|
29-Jun-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document failure conditions for ABBREV_TAC.
|
| #
fd946a3b |
|
28-Jun-2004 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Documentation for Q.ABBREV_TAC. Others still to come.
|