They served a purpose once, but we probably have too much material now for such a simple mechanism to be useful. I'm not sure they were ever regularly maintained. Larry
On 18 Feb 2012, at 08:01, Tobias Nipkow wrote: > 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
