Timeline

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Parents and children of check-in [2656521773]

2015-04-14
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