|
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 ---
[Prev in Thread] | Current Thread | [Next in Thread] |