]> matita.cs.unibo.it Git - helm.git/blob - CVSROOT/checkoutlist
Conjectures and Hypotheses inside every conjecture and in the sequents now
[helm.git] / CVSROOT / checkoutlist
1 # The "checkoutlist" file is used to support additional version controlled
2 # administrative files in $CVSROOT/CVSROOT, such as template files.
3 #
4 # The first entry on a line is a filename which will be checked out from
5 # the corresponding RCS file in the $CVSROOT/CVSROOT directory.
6 # The remainder of the line is an error message to use if the file cannot
7 # be checked out.
8 #
9 # File format:
10 #
11 #       [<whitespace>]<filename><whitespace><error message><end-of-line>
12 #
13 # comment lines begin with '#'