By default, Bugzilla does not search the list of RESOLVED bugs.
You can force it to do so by putting the upper-case word ALL in front of your search query, e.g.: ALL tdelibs
We recommend searching for bugs this way, as you may discover that your bug has already been resolved and fixed in a later release.
PDF file that demonstrates the problem. Page 18 was used for the screenshots.
Certified Programming with Dependent Types.pdf (application/pdf), 4.19 MB, created by Jan Stolarek on 2015-03-04 08:49:25 CST
(hide)
 
Creator: Jan Stolarek
Created: 2015-03-04 08:49:25 CST
Size: 4.19 MB

Attachment is not viewable in your browser because its MIME type (application/pdf) is not one that your browser is able to display.

Download the attachment.

Actions: View
Attachments on bug 2383: 2462 | 2463 | 2464 | 2465 | 2466