CVS log for papers/Makefile
Up to [Coherent Logic Development] / papers
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
Current tag: HEAD
Revision
1.1:
download - view:
text,
markup,
annotated -
[selected for diffs]
Tue Apr 22 18:54:50 2025 UTC (6 weeks, 4 days ago) by
snw
Branches:
MAIN
CVS tags:
HEAD
Improve builds
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>