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 <[email protected]> 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 > [email protected] > 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 _______________________________________________ Haifux mailing list [email protected] http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux
