#
19eedc5b |
|
31-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Give Laurent Théry his acute accents in Tutorial
|
#
f26c2c6d |
|
21-Jul-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Capitalise chapter titles, and add a new chapter stub "proof tools".
|
#
80ee1c23 |
|
22-Apr-2002 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Updated the Tutorial to now include my example based on Tom's combinatory logic proofs. This example has the drawback that it creates a .dvi file that won't display because of its dependence on pstricks. Only the .ps and .pdf files are useful. I don't think this is a serious problem. Also modified the Makefile to be a bit smarter.
|
#
9ea48c11 |
|
12-Apr-2002 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
A variety of updates in the light of Kananaskis changes.
|
#
749ff81a |
|
28-Nov-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Updates.
|
#
5a157188 |
|
21-Oct-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Suite of relatively minor changes. Most significant is addition of final chapter that explains the contents of the examples directory.
|