search

certik / hermescode

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

Example 08-time-dep renamed to 28-ns-timedep #49

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
This is because new, simpler example 08-time-dep is needed. Patch
is attached.

Original issue reported on code.google.com by solin.pa...@gmail.com on 18 Jul 2009 at 7:22

Attachments:

GoogleCodeExporter commented 9 years ago 
This patch would give -1 from me, since it does not rename anything, it adds 
example
28. Anyway I spent some time to actually get a patch that does what was 
intended by
this one.

Original comment by and...@gmail.com on 20 Jul 2009 at 8:31