Check-in [2656521773]

Not logged in

Overview
Comment: Added screenshot of the REPL UI. Tarball | ZIP archive | SQL archive family | ancestors | descendants | both | trunk files | file ages | folders 2656521773fafe13abae2a392503083bc9de853a andy 2015-04-14 14:01:06
Context
 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
Changes

Changes to report/arend-report.pdf.

cannot compute difference between binary files

Changes to report/arend-report.tex.
