dev/doc/archive · coq · Tangled

forked from coq/coq

coq dev doc archive

2 folders · 9 files

e kuefner · update instances of 'the user' to 'users' · 4y ago

Archive old tex files

Archive old tex files

Move content of COMPATIBILITY to Changes chapter.

Remove clutter by moving historic unmaintained dev/doc files to an archive subfolder.

naming-conventions.tex

Fixing typos - Part 1

Remove clutter by moving historic unmaintained dev/doc files to an archive subfolder.

notes-on-conversion.v

Remove clutter by moving historic unmaintained dev/doc files to an archive subfolder.

old_svn_branches.txt

Remove clutter by moving historic unmaintained dev/doc files to an archive subfolder.

Remove clutter by moving historic unmaintained dev/doc files to an archive subfolder.

update instances of 'the user' to 'users'

versions-history.tex

Fixing typos - Part 1