Beskjeder

test-assign2.maude: the file has been updated and now should work with Maude 2.6. Sorry for the inconvenient and thanks for the feedback!

• Notice that the Time and place link is now correctly updated to Wednesdays at 14.15, but we will meet at OJD 2438 Seminarrom Logo.

• ERRATA: Lecture3,slide 12, 's38['0.Zero] --> 's38['0.Zero]. Thanks Peter for noticing! (Well, of course there is an underscore between s and 38, but this system does not display it...)

Note: from now on the lectures will be on Wednesday at 14.15.

Note: the first lecture will be on Friday August 26 at 9:15 in OJD 2453 Seminarrom Perl