proof-general/doc/.gitignore, branch master Emacs plugins for proof management systems gitignore for doc subdir 2016-10-27T07:26:40+00:00 Hendrik Tews 2016-10-26T08:00:25+00:00 8a7eecfa71e850e479822d879e3263c9ce5f2ede