proofgeneral-devel@lists.inf.ed.ac.uk

15

replies

Move to Github

started 2013-07-04 14:16:52 UTC

2013-07-22 16:29:22 UTC

Pierre Courtieu

5

replies

Ticket #467: vernacular command no longer displays timings

started 2013-04-18 11:54:31 UTC

2013-07-17 16:25:04 UTC

Hendrik Tews

1

reply

defpacustom project-filename

started 2013-07-17 14:34:15 UTC

2013-07-17 16:09:16 UTC

Hendrik Tews

6

replies

non-fatal warnings for make compile

started 2013-05-23 01:40:33 UTC

2013-07-04 17:32:26 UTC

Pierre Courtieu

2

replies

ProofGeneral symlink?

started 2013-05-27 01:44:22 UTC

2013-05-27 16:19:07 UTC

David Aspinall

0

replies

Reminder: CICM/MKM deadline nearly here!

started 2013-02-27 21:59:49 UTC

2013-02-27 21:59:49 UTC

David Aspinall

1

reply

urgent message hide errors?

started 2013-02-26 20:30:17 UTC

2013-02-26 20:58:23 UTC

David Aspinall

1

reply

status of support for Proof General

started 2013-02-26 20:21:38 UTC

2013-02-26 20:47:17 UTC

David Aspinall

0

replies

prooftree users?

started 2013-01-15 14:55:31 UTC

2013-01-15 14:55:31 UTC

Hendrik Tews

0

replies

make clean deletes backup files

started 2013-01-15 14:40:25 UTC

2013-01-15 14:40:25 UTC

Hendrik Tews

9

replies

overlapping calls to proof-shell-filter

started 2013-01-08 16:41:09 UTC

2013-01-10 19:22:44 UTC

Stefan Monnier

1

reply

ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90

started 2012-11-30 18:34:36 UTC

2012-12-01 16:36:40 UTC

David Aspinall

4

replies

Coq menu entries

started 2012-11-13 17:43:28 UTC

2012-11-15 17:58:40 UTC

Pierre Courtieu

2

replies

first version of parallel background compilation for Coq

started 2012-11-14 04:40:55 UTC

2012-11-14 15:36:17 UTC

Hendrik Tews

1

reply

proof-shell-pre-interrupt-hook ?

started 2012-11-13 14:37:16 UTC

2012-11-14 15:24:49 UTC

David Aspinall

1

reply

pg-finish-tracing-display ?

started 2012-11-08 03:20:26 UTC

2012-11-09 19:48:41 UTC

David Aspinall

11

replies

Reboot: Release of PG 4.2

started 2012-09-04 14:11:25 UTC

2012-10-17 20:50:32 UTC

David Aspinall

3

replies

Tracker questions

started 2012-09-14 18:11:59 UTC

2012-09-14 20:24:07 UTC

Stefan Monnier

2

replies

Howto disable the double hit terminator for Coq?

started 2012-09-03 19:17:13 UTC

2012-09-03 22:54:56 UTC

Hendrik Tews

4

replies

speed up Coq Proof General by processing complete proofs

started 2012-08-09 14:26:55 UTC

2012-08-11 02:38:34 UTC

Hendrik Tews

3

replies

ProofGeneral 4.1 byte-compilation fails if image-load-path is not defined

started 2012-07-15 04:29:55 UTC

2012-07-17 15:32:41 UTC

Ulrich Mueller

2

replies

Emacs 24

started 2012-06-15 13:34:17 UTC

2012-06-15 16:55:02 UTC

Paolo Herms

5

replies

Feature name conflict with Coq

started 2012-06-06 14:17:10 UTC

2012-06-08 13:01:04 UTC

Hendrik Tews

5

replies

bar cursor in *goals* and *response*

started 2012-06-04 13:47:33 UTC

2012-06-05 22:55:10 UTC

Stefan Monnier

0

replies

let proof-retract-buffer only move point when called interactively

started 2012-05-31 19:48:11 UTC

2012-05-31 19:48:11 UTC

Hendrik Tews

0

replies

kill windows showing response and goals buffers on proof-shell-exit

started 2012-05-25 13:41:31 UTC

2012-05-25 13:41:31 UTC

Hendrik Tews

19

replies

PGIP warning messages

started 2012-04-06 08:15:50 UTC

2012-04-09 20:03:51 UTC

Edward Z. Yang

0

replies

obsolete coq/coqtags

started 2012-01-07 04:10:33 UTC

2012-01-07 04:10:33 UTC

Hendrik Tews

1

reply

Proof-tree merge

started 2012-01-03 16:29:08 UTC

2012-01-04 18:56:54 UTC

David Aspinall

2

replies

Possible License Change

started 2011-12-19 22:03:57 UTC

2011-12-28 21:06:32 UTC

Makarius