Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (25 - 27 of 361)

← 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 →
Ticket Resolution Summary Owner Reporter
#473 fixed Indentation screwed up by "/." (not by "/ .") in, e.g., [Arguments foo /.] David Aspinall coquser
Description

The following two blocks of code have been indented by highlighting the lines and pressing TAB:

Incorrect indentation: 

Section foo.
  Arguments id /.
            Definition foo := Type.
  Definition bar := Type.
End foo.

Correct indentation: 

Section foo.
  Arguments id / .
  Definition foo := Type.
  Definition bar := Type.
End foo.
#472 fixed texi2pdf loads Proofgeneral.pdf as image David Aspinall coquser
Description

Hi,

I don't know why this happens only now, but under certain conditions, the line

@image{ProofGeneral}

in ProofGeneral.texi causes ProofGeneral.pdf to get loaded as image, which, of course, results in an error.

Is it OK to rename ProofGeneral.jpg into ProofGeneral-image.ipg?

Bye,

Hendrik

#471 fixed ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz David Aspinall coquser
Description

Hi,

with Proofgeneral.jpg missing, it is impossible to rebuild the pdf documentation.

Bye,

Hendrik

← 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 →
Note: See TracQuery for help on using queries.