proof-general/TAGS, branch master

proof-general/TAGS, branch master Emacs plugins for proof management systems delete TAGS file from repository 2016-10-27T07:26:40+00:00 Hendrik Tews 2016-10-26T07:58:52+00:00 cda28bfda3154c9040ec11abea1021755992e36a

update TAGS 2013-07-17T08:45:03+00:00 Hendrik Tews 2013-07-17T08:45:03+00:00 3b1d8dd39db14a71f177f9e5bc2870b1c210b43e

updated TAGS 2013-02-18T07:45:06+00:00 Hendrik Tews 2013-02-18T07:45:06+00:00 ee3b098a29e434d02eff505cffef867a52d5bc4f

update TAGS 2012-11-13T22:11:02+00:00 Hendrik Tews 2012-11-13T22:11:02+00:00 d4dcfa5108f3a66285420a71a0da76503ae0b584

update TAGS 2012-10-30T21:08:05+00:00 Hendrik Tews 2012-10-30T21:08:05+00:00 8ede5e10c147191822653afc0a4e2e5a53749833

Updated. 2012-09-14T15:33:27+00:00 David Aspinall 2012-09-14T15:33:27+00:00 d0ef52a9e6cc90d43728855fce2b13e173907c6d

Updated 2012-08-16T14:55:25+00:00 David Aspinall 2012-08-16T14:55:25+00:00 04923bc857a797701849dedbfb412402be53fc27

Add user option proof-next-command-insert-space. 2012-08-14T10:37:25+00:00 David Aspinall 2012-08-14T10:37:25+00:00 caf7542b618ef6e39853613733c5aa7d4607f224

Updated. 2012-08-09T12:23:02+00:00 David Aspinall 2012-08-09T12:23:02+00:00 45a140bb1114e8bda7a6422555bc5933f0ff5b96

Updated. 2012-02-07T11:19:51+00:00 David Aspinall 2012-02-07T11:19:51+00:00 04845cc6d877bc23976befc9a9d08b873a2a47ad