search

certik / hermescode

Automatically exported from code.google.com/p/hermescode
0 stars 0 forks source link

[patch] tutorial examples 09, 10 & Latex tutorial updated #68

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Tutorial examples 09 and 10 adjusted to the change of H_ONLY -> ADAPT_TYPE.
Several minor things fixed in each of them. Tutorial adjusted accordingly.

Original issue reported on code.google.com by solin.pa...@gmail.com on 10 Aug 2009 at 6:11

Attachments:

GoogleCodeExporter commented 9 years ago 
Merged into upstream.

Original comment by and...@gmail.com on 23 Aug 2009 at 1:36