[Haifux] The use of SSDL...

[Ohad Lutzky]

smlnj is used for ML, last I checked. It works well, expect for not
having Readline support (specifically, you can't press "up" to get
previous commands you've typed)

On Tue, Jan 27, 2009 at 9:50 PM, Yossi Gil <yossi.gil at gmail.com> wrote:
> Hi Tzafrir,
>
> I am not sure which ML and which Prolog are used. Also, I do not know which
> tools are used in verification. I believe Rational Rose / Rhapsody are used
> for some of the courses.
>
> Yossi
>
>
> _______________________________________________
> Haifux mailing list
> Haifux at haifux.org
> http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux
>
>



-- 
Man is the only animal that laughs and weeps, for he is the only
animal that is struck with the difference between what things are and
what they ought to be.
 - William Hazlitt

Ohad Lutzky