[isabelle-dev] README.html

[Tobias Nipkow]

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.