Makarius wrote: > On Wed, 2 Jul 2008, Gerwin Klein wrote: > >> You can always build your own custom images with exactly the part you >> need (not that it's a nice user-interface paradigm, and you need to >> replicate parts of Makefiles, but it's not a show-stopper either). > > An important aim of the prospective "isatool session" command is to get > rid of IsaMakefiles altogether -- the information is already present in > the theory files themselves, only the ROOT entry points need to be > specified.
That would make the above quite a bit simpler. I'm looking forward to isatool session.. Cheers, Gerwin
