On 11/07/2013 08:00, Hendrik Tews wrote:
Pierre Courtieu pierre.court...@cnam.fr writes:
- similarly for the coq/faq: wouldn't it be better to integrate
this in the user manual and have then a coq faq link on the
web page?
I don't understand this one. Do you mean in
Hi, thanks for the bug reports.
2013/7/5 Jason Gross jasongro...@gmail.com
Hi,
Except #466 are there other bugs on indentation? I don't see them.
I have had a number of indentation issues with PG. I will go check the
bug list and file new tickets if they are not there. In short, my
Fixed #466. Nasty one.
P.
2013/7/4 Hendrik Tews t...@os.inf.tu-dresden.de
Hi,
I am happy to see Pierre you back on this list and back
committing to Proof General.
Regarding the 4.3 release: There are some indentation bugs in the
tracker. Pierre, could you spend some time for them?
I
Hi,
Except #466 are there other bugs on indentation? I don't see them.
I have had a number of indentation issues with PG. I will go check the bug
list and file new tickets if they are not there. In short, my biggest
issues have been with Arguments foo /. (adding a space after the /
fixes it)
I did not see bugs about these pre-existing. I have created #473 and #474.
I may have run into other bugs, but these are the two that bite me
repeatedly, to the extent that I change my code to work around them.
-Jason
On Fri, Jul 5, 2013 at 11:07 AM, Jason Gross jasongro...@gmail.com wrote:
No objection!
Pierre
2013/7/4 David Aspinall david.aspin...@ed.ac.uk
Dear PG Devs,
Some time ago I mooted moving from our clunky University-hosted CVS+trac
to Github. I think it would allow people to more easily make modifications
and propose small patches. And it looks as if the Github
Hi,
I am happy to see Pierre you back on this list and back
committing to Proof General.
Regarding the 4.3 release: There are some indentation bugs in the
tracker. Pierre, could you spend some time for them?
I intend to fix #467 and have a look at #460.
Does anybody else use the new parallel
Hendrik Tews t...@os.inf.tu-dresden.de writes:
Regarding the 4.3 release: ...
I have another issue that I would like to see resolved in 4.3:
The feature name conflict with Coq, see
http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2012/000241.html
Both Proof General and Coq install