Check-in [9c0eace5aa]

Not logged in

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

Overview
Comment:Some additional styles for rendering of derivations.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:9c0eace5aac265fd234ccae2a56be4fad6733781
User & Date: andy 2015-04-15 21:37:20
Context
2015-04-15
21:37
Updated to use the new inductive (vertical-bar) goal encoding. check-in: 5f036d068a user: andy tags: trunk
21:37
Some additional styles for rendering of derivations. check-in: 9c0eace5aa user: andy tags: trunk
21:36
Changed the encoding for inductive goals from \size to |size. The backslash was getting lost in the string encoding in some places. check-in: 23db977deb user: andy tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to res/base.css.