Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
Parents and children of check-in 
|20:19||Changed the way the induction tactic handles repeated use (previous IHs are just ignored). check-in: c82ab7e9b6 user: andy tags: trunk|
|14:01||Added screenshot of the REPL UI. check-in: 2656521773 user: andy tags: trunk|
|14:00||Latest build results. check-in: b0c341eb78 user: andy tags: trunk|