CVS log for OpenXM/src/asir-contrib/packages/sample/verify-by-sm1

Up to [local] / OpenXM / src / asir-contrib / packages / sample

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.2 / (download) - annotate - [selected], Mon Jul 17 02:58:46 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6, R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, RELEASE_1_1_3, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Changes since 1.1: +43 -7 lines
Diff to previous 1.1 (colored)

warningKanNoStrict()  outputs warning messages, but it does not stop the
interpreter.
verify-by-sm1 works without a modification of gr.

Revision 1.1 / (download) - annotate - [select for diffs], Sat Jul 15 07:17:58 2000 UTC (24 years, 3 months ago) by takayama
Branch: MAIN
Diff to selected 1.2 (colored)

A sm1 version of distributed Grobner trace verification system.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.