Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| teaching:cc7125 [2017/11/03 09:38] – etanter | teaching:cc7125 [2017/11/06 17:48] – etanter | ||
|---|---|---|---|
| Line 45: | Line 45: | ||
| * Oct 30: Hoare2.v | * Oct 30: Hoare2.v | ||
| * Nov 1: //feriado// | * Nov 1: //feriado// | ||
| - | * Nov 6: | + | * Nov 6: Smallstep.v (hasta normalizing) |
| * Nov 8: | * Nov 8: | ||
| * Nov 13: | * Nov 13: | ||