| #
6a81a039 |
|
21-May-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from src
Will also make selftest to check that they aren't introduced
|
| #
95d60bd3 |
|
02-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove -- as an alias for Term parser.
As per comment in release notes this has long been replaced as
appropriate style.
|
| #
53827563 |
|
29-Sep-2010 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Avoid a bunch of pattern completion warning messages.
|
| #
ffeb8f51 |
|
03-Sep-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add two new conjunction-related tactics to Tactic.
They implement something I noticed appeared in schneiderUtils, so that file
gets to become a little simpler.
|
| #
3063b62b |
|
25-Feb-2010 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Oops. Moved some files around to cope with change in build sequence.
|