ID0002008: **This issue was created automatically from Mantis Issue 2008. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002008 | Frama-Clang | Documentation > ACSL | public | 2014-12-01 | 2016-07-27 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Jochen | **Assigned To** | - | **Resolution** | fixed | | **Priority** | urgent | **Severity** | feature | **Reproducibility** | always | | **Platform** | frama-c-Neon-20140301+dev-stance | **OS** | - | **OS Version** | xubuntu-cfe13.10 | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : In the current version of e.g. "acsl-implementation-Neon-20140301.pdf", it is not possible to search for a string: although "the" appears on almost every page, my viewer, "xpdf" doesn't find it. Without the search feature, a user needs to waste a lot of time with scanning though the document to find what (s)he is looking for. I set the priority to "urgent" since I guess that it is easy to allow for string search again.