aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib/debian
ModeNameSize
-rw-r--r--README.Debian1089logplain
-rw-r--r--changelog4433logplain
-rw-r--r--control630logplain
-rw-r--r--copyright632logplain
-rw-r--r--coq.emacsen-install1227logplain
-rw-r--r--coq.emacsen-remove453logplain
-rw-r--r--coq.emacsen-startup851logplain
-rw-r--r--dirs28logplain
-rw-r--r--docs23logplain
-rwxr-xr-xrules2286logplain