search

certik / hermescode

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

[patch] Tutorial examples 01 - 08 updated. #71

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Tutorial examples 01 - 08 updated according to recent changes in examples
09, 10. Mainly minor changes. More significant error fixed in example 09,
where weak forms were registered in a wrong way. Patch attached.

Original issue reported on code.google.com by solin.pa...@gmail.com on 14 Aug 2009 at 7:35

Attachments:

GoogleCodeExporter commented 9 years ago 
Merged into upstream.

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