CVS log for 2000/10/swap/test/dpo/convert.n3
Up to [Public] / 2000 / 10 / swap / test / dpo
Request diff between arbitrary revisions
Default branch: 1
Revision 1.6 / (download) - annotate - [select for diffs]
, Fri Sep 7 02:11:20 2001 UTC (6 years, 11 months ago) by timbl
CVS Tags: yosi-before-setup-py,
runSmart,
rel-1-2-0,
rel-1-1-perf,
rel-1-1-0rc2,
rel-1-1-0rc1,
rel-1-0-rc1,
rel-1-0-0,
rel-0-8-set,
rel-0-8-0-perf,
rel-0-8-0,
rel-0-7-3,
rel-0-7-2,
rel-0-7-1,
rel-0-7,
pfreport,
paw-demo-m1,
oldLists,
branch-0-7-3-auto-regfilelist,
HEAD
Changes since 1.5: +137 -137
lines
Diff to previous 1.5
(colored)
Restore policy of LF only, no CR, at line ends for source files.
Revision 1.5 / (download) - annotate - [select for diffs]
, Mon May 21 03:11:59 2001 UTC (7 years, 3 months ago) by timbl
Changes since 1.4: +1 -1
lines
Diff to previous 1.4
(colored)
after changes to namespace and use of this with forall
Revision 1.4 / (download) - annotate - [select for diffs]
, Wed May 9 18:44:31 2001 UTC (7 years, 3 months ago) by timbl
Changes since 1.3: +1 -1
lines
Diff to previous 1.3
(colored)
updated daml namespace to 2001/03
Revision 1.3 / (download) - annotate - [select for diffs]
, Wed Feb 28 20:45:43 2001 UTC (7 years, 6 months ago) by timbl
Changes since 1.2: +26 -10
lines
Diff to previous 1.2
(colored)
Examples; and namespace identifier to dpo
Revision 1.2 / (download) - annotate - [select for diffs]
, Tue Jan 30 01:22:13 2001 UTC (7 years, 7 months ago) by timbl
Changes since 1.1: +70 -11
lines
Diff to previous 1.1
(colored)
Introduced :- syntax solving an incompleteness in the syntax. SOme bugs out. Very alpha
Revision 1.1 / (download) - annotate - [select for diffs]
, Thu Jan 18 15:40:52 2001 UTC (7 years, 7 months ago) by timbl
Diff
playing with axioms for daml in swap/test/dpo
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