On 27/09/10 17:48, mohamed yousri soliman wrote: > I am working on windows xp. I have received sml files from someone > who is working over unix(solaris). I couldnt build his files using > build.exe on windows. does os is the problem. Care that i am using > same veriosn of HOL4 kan.
The build.exe program is only for building the core system. For other theories and source files, you'll have to use Holmake.exe. When you put your collaborator's files into a directory, and run Holmake, does it work? If not, what output do you get? Michael ------------------------------------------------------------------------------ Start uncovering the many advantages of virtual appliances and start using them to simplify application deployment and accelerate your shift to cloud computing. http://p.sf.net/sfu/novell-sfdev2dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
