#
b75ec895 |
|
07-Dec-2008 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Get the HolCheck directory to build. It would be nice to get the AMBA example to work as well, but this isn't quite there just yet. The bulk of the problems in HolCheck were the change to the string type, with one or two caused by the additional pickiness of parse_in_context.
|