proof-general/etc/trac, branch master

proof-general/etc/trac, branch master Emacs plugins for proof management systems Test case 2010-09-27T14:49:22+00:00 David Aspinall 2010-09-27T14:49:22+00:00 025c84f46e07a2606ae560ada356964fde40bffa

*** empty log message *** 2010-09-24T14:29:44+00:00 David Aspinall 2010-09-24T14:29:44+00:00 c3beb91cd0aac0d6339438d9d8b027b20c40b2c4

add notes 2010-09-22T09:37:12+00:00 David Aspinall 2010-09-22T09:37:12+00:00 c440483752e4c36c24bf052390b7fa41d99127ef

Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140 2010-09-22T09:32:48+00:00 David Aspinall 2010-09-22T09:32:48+00:00 50244404d9f435ab03397430d687102e19f69639

*** empty log message *** 2010-08-30T22:45:52+00:00 David Aspinall 2010-08-30T22:45:52+00:00 360e5ff834acc02c3cd90bc392f4f7c9bca9ce99

proof-script-command-end-regexp: allow any non-letter after a period 2010-08-24T13:02:12+00:00 David Aspinall 2010-08-24T13:02:12+00:00 6ba98422a95a799778378ecf7e34febc6577fa3b to terminate a command, fixing #296 (and hopefully not messing up other cases).

to terminate a command, fixing #296 (and hopefully not messing up
other cases).

Add test case 2009-12-01T10:01:18+00:00 David Aspinall 2009-12-01T10:01:18+00:00 8a2d89a5ad6df65aeaa6c83c0b5bb9609a69c977

Add pointer 2009-10-16T11:57:14+00:00 David Aspinall 2009-10-16T11:57:14+00:00 d97e2a1af087837f6b7c5f29b2bc68646f33be4a

*** empty log message *** 2009-10-16T11:49:38+00:00 David Aspinall 2009-10-16T11:49:38+00:00 6e906c43f2bd69b3adafc7257075735b848ec295

Coq test 2009-09-10T22:13:01+00:00 David Aspinall 2009-09-10T22:13:01+00:00 cff9b9b13138e5d54de31945da2302bc79e98a27