Versions Compared

Old Version 10

changes.mady.by.user Richard Esplin

Saved on

compared with

New Version 11

changes.mady.by.user Richard Esplin

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: posted recording

Summary:

Excerpt

Planned

  • Work updates
  • Future meetings
  • Formal verification by Sven Hammann

...