Check-in [b0c341eb78]

Not logged in

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

Overview
Comment:Latest build results.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:b0c341eb785f01f5113741fc1b8e690dad50ff05
User & Date: andy 2015-04-14 14:00:33
Context
2015-04-14
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
14:00
Better rendering of goals vs. terms. Subgoals of AND, OR, and IMP are now rendered as goals rather than terms. check-in: 8cf949cd23 user: andy tags: trunk
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Changes to tests/build-results.txt.

   114    114   PASS: Distinct occurances of _ can unify with different things.
   115    115   ----------------------
   116    116   ---- TODO Comments ----
   117    117   src/parser.js:74:    // TODO: normalize definition structure at this point so we don't have
   118    118   src/spec.js:140:// TODO: separate database from specification. Each database contains a 
   119    119   src/spec.js:159:  // TODO: allow per-specification customization.
   120    120   src/spec.js:162:      return term.name; // TODO: escape
   121         -src/statement.js:52:    return ""; // TODO
          121  +src/statement.js:46:    return ""; // TODO
   122    122   src/syntax.js:32:   var msg = e.message; // TODO
   123         -src/terms.js:93:    // TODO: print lists, infix operators better.
   124         -src/terms.js:94:    // TODO: check to see if the `` are really needed.
          123  +src/terms.js:102:    // TODO: print infix operators better.
          124  +src/terms.js:103:    // TODO: check to see if the `` are really needed.
   125    125   lib/fin.js:92:    // TODO: cache strings+expansions for speed.
   126    126   lib/fin.js:97:    // TODO: special case operator-only strings to expand into pre-defined
   127    127   lib/nodash.js:182:    // TODO: many of the other utility functions in Lo-Dash could be 
   128    128   -----------------------
          129  +---- Extra files ----
          130  +examples/proof-mockup.html
          131  +plsrc/deriv.pl
          132  +plsrc/interp.pl
          133  +presentation/arend-presentation.aux
          134  +presentation/arend-presentation.log
          135  +presentation/arend-presentation.nav
          136  +presentation/arend-presentation.out
          137  +presentation/arend-presentation.pdf
          138  +presentation/arend-presentation.snm
          139  +presentation/arend-presentation.toc
          140  +report/arend-report.aux
          141  +report/arend-report.bbl
          142  +report/arend-report.blg
          143  +report/arend-report.log
          144  +report/arend-report.out
          145  +report/arend-report.toc
          146  +report/repl-sample.pdf
          147  +report/repl-sample.png
          148  +util/checker.pl
          149  +util/unicode-categories.peg
          150  +-----------------------