CVS log for 2000/10/swap/grammar/bnf-rules.n3

Up to [Public] / 2000 / 10 / swap / grammar

Request diff between arbitrary revisions

Default branch: 1

Revision 1.12 / (download) - annotate - [select for diffs] , Tue Jan 22 11:47:37 2008 UTC (5 months, 1 week ago) by timbl
CVS Tags: HEAD
Changes since 1.11: +11 -16 lines
Diff to previous 1.11 (colored)

fix

Revision 1.11 / (download) - annotate - [select for diffs] , Mon Aug 22 21:12:54 2005 UTC (2 years, 10 months ago) by timbl
CVS Tags: rel-1-2-0, rel-1-1-0rc2, pfreport, paw-demo-m1
Changes since 1.10: +1 -1 lines
Diff to previous 1.10 (colored)

Revive --why proof generation and check.py. Recode unification a bit

Revision 1.10 / (download) - annotate - [select for diffs] , Tue Sep 7 21:51:18 2004 UTC (3 years, 9 months ago) by syosi
CVS Tags: rel-1-1-perf, rel-1-1-0rc1, rel-1-0-rc1, rel-1-0-0
Changes since 1.9: +0 -0 lines
Diff to previous 1.9 (colored)

put this stuff back into cvs

Revision 1.9, Sun Aug 8 01:44:49 2004 UTC (3 years, 10 months ago) by syosi
Changes since 1.8: +0 -0 lines
FILE REMOVED

undo what I did last thing Friday. Those changes are nowhere near ready for the trunk

Revision 1.8 / (download) - annotate - [select for diffs] , Sun Jun 27 16:16:15 2004 UTC (4 years ago) by timbl
CVS Tags: yosi-before-setup-py, rel-0-8-0-perf, rel-0-8-0
Changes since 1.7: +15 -0 lines
Diff to previous 1.7 (colored)

Works on ../test/rules13.n3

Revision 1.7 / (download) - annotate - [select for diffs] , Thu Oct 30 22:49:13 2003 UTC (4 years, 8 months ago) by timbl
CVS Tags: rel-0-7-3, rel-0-7-2, rel-0-7-1, rel-0-7, branch-0-7-3-auto-regfilelist
Changes since 1.6: +6 -0 lines
Diff to previous 1.6 (colored)

better

Revision 1.6 / (download) - annotate - [select for diffs] , Thu Oct 30 22:41:34 2003 UTC (4 years, 8 months ago) by timbl
Changes since 1.5: +60 -30 lines
Diff to previous 1.5 (colored)

getting there

Revision 1.5 / (download) - annotate - [select for diffs] , Mon Oct 27 13:26:58 2003 UTC (4 years, 8 months ago) by timbl
Changes since 1.4: +3 -3 lines
Diff to previous 1.4 (colored)

Looking better, see issues in n3.n3

Revision 1.4 / (download) - annotate - [select for diffs] , Mon Oct 27 02:36:54 2003 UTC (4 years, 8 months ago) by timbl
Changes since 1.3: +4 -6 lines
Diff to previous 1.3 (colored)

With bnf:void still in

Revision 1.3 / (download) - annotate - [select for diffs] , Tue Oct 21 02:36:09 2003 UTC (4 years, 8 months ago) by timbl
Changes since 1.2: +5 -1 lines
Diff to previous 1.2 (colored)

notyet

Revision 1.2 / (download) - annotate - [select for diffs] , Tue Oct 21 02:30:23 2003 UTC (4 years, 8 months ago) by timbl
Changes since 1.1: +23 -16 lines
Diff to previous 1.1 (colored)

notyet

Revision 1.1 / (download) - annotate - [select for diffs] , Mon Oct 20 18:09:19 2003 UTC (4 years, 8 months ago) by timbl
Diff

Start on n3 gammar bnf in n3

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.

Webmaster