The error message that I discussed in my earlier posting has been a known issue
for over a year.
I have therefore updated the issue description at
http://code.google.com/p/hol-light/issues/detail?id=2
Attempting to apply the fixes described there to my versions of OCaml, camlp5
and HOL Light now generate pattern matching errors in pa_j.ml
Any suggestions as to how to remedy this would be appreciated.
Thank you in advance,
Colin Rowat
University of Birmingham
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
