I wonder if we should just get rid of them. I looked at a few and much of the information in there is outdated. Useful information could be moved into the pdf document.
Tobias Am 17/02/2012 22:10, schrieb Florian Haftmann: > Hi all, > > recently I stumbled again over our famour ancient README files, e.g. > http://isabelle.in.tum.de/dist/library/HOL/README.html. > > Is there a vision what we should do with them in the long run? > > Florian > > > > > This body part will be downloaded on demand. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
