CVS log for papers/references.bib
Up to [Coherent Logic Development] / papers
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
Current tag: HEAD
Revision 1.12: download - view: text, markup, annotated - select for diffs
Mon Apr 28 14:42:52 2025 UTC (5 weeks, 5 days ago) by snw
Branches: MAIN
CVS tags: HEAD
Diff to: previous 1.11: preferred, unified
Changes since revision 1.11: +11 -2 lines
Rewording and biblio updates
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>