Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching:cc7125 [2017/11/09 09:06] etanterteaching:cc7125 [2017/11/13 09:16] etanter
Line 46: Line 46:
     * Nov 1: //feriado//     * Nov 1: //feriado//
     * Nov 6: Smallstep.v (hasta normalizing)     * Nov 6: Smallstep.v (hasta normalizing)
-    * Nov 8: +    * Nov 8: Smallstep.v
     * Nov 13:     * Nov 13:
     * Nov 15: JSCert (M. Bodin)     * Nov 15: JSCert (M. Bodin)