Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
|Comment:||Added an exposed predicate for checking proofs (just checking, no elaboration).|
|Downloads:||Tarball | ZIP archive | SQL archive|
|Timelines:||family | ancestors | descendants | both | trunk|
|Files:||files | file ages | folders|
|User & Date:||andy 2015-04-18 18:45:52|
|18:46||Fixed tests to support the new definition of atoms (can be constructed from numbers). check-in: 51ec69316b user: andy tags: trunk|
|18:45||Added an exposed predicate for checking proofs (just checking, no elaboration). check-in: b1dff5705c user: andy tags: trunk|
|18:45||Fixed a bug in the checker, context was not being initialized to  which made goals succeed once and then enter an infinite loop. check-in: f931058aa9 user: andy tags: trunk|
Changes to apps/passist/passist.pl.