dido:start

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
dido:start [2026/07/12 11:46] – nick_didodido:start [2026/08/03 12:26] (current) – nick_dido
Line 9: Line 9:
   * [[dido:01-fdis-ra:start|FDIS-RA Response]]   * [[dido:01-fdis-ra:start|FDIS-RA Response]]
   * [[dido:02-crusible:start|Crucible]]   * [[dido:02-crusible:start|Crucible]]
-  * [[dido:02-TestEnv:start|Dido Test Environment (Dido-TE)]]+  * [[dido:03-dido-te:start|Dido Test Environment (Dido-TE)]]
   * [[dido:04-syntax:start|Syntax]]   * [[dido:04-syntax:start|Syntax]]
   * [[dido:05-semantics:start|Semantics]]   * [[dido:05-semantics:start|Semantics]]
  • dido/start.1783881991.txt.gz
  • Last modified: 2026/07/12 11:46
  • by nick_dido