View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0001771 | Frama-C | Documentation | public | 2014-05-02 10:06 | 2016-06-21 14:13 | ||||
Reporter | jens | ||||||||
Assigned To | correnson | ||||||||
Priority | low | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | OSX | OS | OS Version | ||||||
Product Version | Frama-C Neon-20140301 | ||||||||
Target Version | Fixed in Version | Frama-C Magnesium | |||||||
Summary | 0001771: quality of pdf files | ||||||||
Description | This might sound very subjective but I always have the feeling that the various pdf files of the Frama-C documentation look a bit blurred. I do not observe this with my own pdf files that I generate from latex. It is neither related to Neon nor am I using a retina display. I wonder whether you are using the "computer modern" family of type faces. | ||||||||
Steps To Reproduce | Compare http://www.fokus.fraunhofer.de/de/sqc/_download_sqc/ACSL-by-Example.pdf with http://frama-c.com/download/acsl-implementation-Neon-20140301.pdf | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
signoles (manager) 2014-05-15 09:59 |
@Loïc: you're probably the guy who has the more knowledge about frama-c-book.cls and related files... Not sure if it is possible to improve it... |
correnson (manager) 2014-05-15 13:00 |
Yes, I already noticed that. Surprisingly, all the PDF generated from my Mac OS installation of LaTeX are much BETTER than the same LaTeX files generated from Linux. To the point I generally re-generate all Frama-C documentation on my side. I do not understand why, but I should investigate that problem. |
yakobowski (manager) 2014-05-22 10:50 |
There is another potential issue, which is Searching for text and copy-pasting is severely broken in some viewers such as Evince. This is what obtains when copy-pasting "downcast" and "Downcast" from RTE's manual: ❞♦✇♥❝❛st ❉♦✇♥❝❛st This is perhaps due to some ligatures, but in any case the generation of the pdf "hidden" text is broken. |
jens (reporter) 2014-05-22 11:23 |
If you wish, then you can send me the latex sources of one of your documents and I can try to figure out a solution. (I have an account on Frama-C's gitlab (but of course not to the private stuff), so I could also use this and create a merge request.) |
jens (reporter) 2015-04-06 09:35 |
A remark on the pdf files in the sodium release: In general the quality of the pdf files has greatly improved. Thanks! The only exception I have noticed so far is the WP manual http://frama-c.com/download/wp-manual-Sodium-20150201.pdf Here the font stills looks blurry and going from one to the next page still takes at least one second (whereas with the other files this is an immediate operation). |
yakobowski (manager) 2015-04-06 17:46 |
We tweaked our LaTeX configuration file, which probably explains the improvements you noticed. Unfortunately, WP has its own copy of frama-c-book.cls, and did not benefit of the upgrade. |
correnson (manager) 2015-04-07 09:17 |
Argh!! It should be copied automatically from the shared one... |
correnson (manager) 2015-04-07 09:49 |
Commit cd5dc10ac8acb3f0aa1 |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2014-05-02 10:06 | jens | New Issue | |
2014-05-02 10:06 | jens | Status | new => assigned |
2014-05-02 10:06 | jens | Assigned To | => signoles |
2014-05-15 09:57 | signoles | Assigned To | signoles => correnson |
2014-05-15 09:59 | signoles | Note Added: 0005095 | |
2014-05-15 13:00 | correnson | Note Added: 0005096 | |
2014-05-22 10:50 | yakobowski | Note Added: 0005124 | |
2014-05-22 11:23 | jens | Note Added: 0005125 | |
2015-04-06 09:35 | jens | Note Added: 0005864 | |
2015-04-06 17:46 | yakobowski | Note Added: 0005865 | |
2015-04-07 09:17 | correnson | Note Added: 0005866 | |
2015-04-07 09:49 | correnson | Note Added: 0005867 | |
2015-04-07 09:59 | signoles | Status | assigned => resolved |
2015-04-07 09:59 | signoles | Resolution | open => fixed |
2016-01-26 08:51 | signoles | Fixed in Version | => Frama-C Magnesium |
2016-01-26 08:52 | signoles | Status | resolved => closed |
2016-06-21 14:11 | signoles | Category | Documentation => Documentation > ACSL |
2016-06-21 14:13 | signoles | Category | Documentation > ACSL => Documentation |