Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 173
    • Issues 173
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #414
Closed
Open
Issue created Dec 01, 2014 by Jochen Burghardt@burghardt

suggest to make pdf document searchable again

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking