Hi Makarius,
Now that Alice 1.4 has been released, we continue our efforts to make Isabelle work with it. The static part of Isabelle/Pure now essentially compiles, and works -- a little bit. Alice produces a core dump just after bootstrapping most of the system.
Segfault sounds bad. :-( I will have a look into your problem as soon as possible.
- Andreas _______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
