Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] web page user feedback
- Subject: [Frama-c-discuss] web page user feedback
- From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
- Date: Thu, 18 Dec 2008 09:10:23 +0100
Hi, I have a 1280 x 800 pixel screen, unfortunatly that makes the usage of your new designed web page difficult, because I have approximatly 12 cm left for browsing. I would like to have a little more space. Cheers Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081218/fb66e821/attachment.htm
- Follow-Ups:
- [Frama-c-discuss] RE : web page user feedback
- From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
- [Frama-c-discuss] RE : web page user feedback
- Prev by Date: [Frama-c-discuss] prover timeout does not work(Jessie)
- Next by Date: [Frama-c-discuss] prover timeout does not work(Jessie)
- Previous by thread: [Frama-c-discuss] prover timeout does not work(Jessie)
- Next by thread: [Frama-c-discuss] RE : web page user feedback
- Index(es):