Check-in [f21f15e5e4]

Not logged in

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

Overview
Comment:Fixed a bug in finding the subproofs of a case-type proof.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:f21f15e5e4a7ad92a584c1360449f7b647264a29
User & Date: andy 2015-04-15 21:38:16
Context
2015-04-16
21:59
Fixed a few bugs in rendering of proofs (commas between antecedants, tabindexes on conclusions so they can be keyboard-focused). check-in: 5ae5431e8f user: andy tags: trunk
2015-04-15
21:38
Fixed a bug in finding the subproofs of a case-type proof. check-in: f21f15e5e4 user: andy tags: trunk
21:37
Updated to use the new inductive (vertical-bar) goal encoding. check-in: 5f036d068a user: andy tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to src/proof.js.