[Haifux] The use of SSDL...

Ohad Lutzky ohad at lutzky.net
Wed Jan 28 14:16:09 MSK 2009

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

More information about the Haifux mailing list