On 05/07/2012, at 7:00 PM, Florian Haftmann wrote: > @Gerwin: maybe you could consider adjusting isatest accordingly: > * use /home/isabelle/contrib instead of /home/isabelle/contrib_devel > * use Admin/init_components appropriately
Ok. Let's get the current version running again properly first, though. lxbroy2 still has hickups. > I personally do not dare to touch this ancient sanctuary of Elder Days. I don't think anybody does. Every 10 years or so stuff like this should be thrown out and rewritten. It's high time.. Also, I really need to give this responsibility to somebody else. I'm becoming too busy to really take care of isatest and it's beginning to show in its stability. Consider this a call for volunteers! Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
