demexp-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Demexp-dev] [Olivier Ridoux] LISFS new release


From: David MENTRE
Subject: [Demexp-dev] [Olivier Ridoux] LISFS new release
Date: Fri, 26 Mar 2004 21:10:25 +0100
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

Hello,

A new release of LISFS is available. It is written in OCaml so it can be
integrated with DemExp. I say 'can' because this not so easy. :)

Yours,
d.

--- Begin Message --- Subject: LISFS new release Date: Fri, 26 Mar 2004 19:35:05 +0100 User-agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.5) Gecko/20031016
Dear all,

We are pleased to announce the release of the new version of LISFS: 
http://www.irisa.fr/LIS/LISFS .  It is faster and more robust than the 
first version, and it offers a smoother interface for plug-ins and 
logics, and for inter- and intra-file navigation.

Best regards,

Yoann Padioleau and Olivier Ridoux



--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]