--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on December 2013 ---
Thanks!! Alfred On Wed, Dec 4, 2013 at 4:18 PM, David Yang <abiao.yang at gmail.com> wrote: > The manual can be find in the "Source distribution (beta-1)" > > http://frama-c.com/download_lithium.html > > frama-c-Lithium-20081002+beta1\doc\manuals\ > > HTH > > > On 4 December 2013 20:24, Qi Alfred Chen <alfchen at umich.edu> wrote: > > Hi all, in order to run an old project, currently I need to write a > plugin > > in the corresponding Frama-C version, Lithium. Do anyone of you have the > old > > manual, named "frama-c-manual-Lithium-en.pdf"? Thanks!!!! > > Alfred > > > > -- > > Kind regards, > > Qi Alfred Chen > > PhD Student, > > Department of Electrical Engineering and Computer Science, > > University of Michigan - Ann Arbor, 48105 > > Tel: 1-734-834-2916 > > Alt. Email: adios737 at gmail.com > > Homepage: www.eecs.umich.edu/~alfchen > > > > _______________________________________________ > > Frama-c-discuss mailing list > > Frama-c-discuss at lists.gforge.inria.fr > > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -- Kind regards, Qi Alfred Chen PhD Student, Department of Electrical Engineering and Computer Science, University of Michigan - Ann Arbor, 48105 Tel: 1-734-834-2916 Alt. Email: adios737 at gmail.com Homepage: www.eecs.umich.edu/~alfchen -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131204/8f195b18/attachment.html>