[isabelle-dev] README.html

Lawrence Paulson lp15 at cam.ac.uk
Sat Feb 18 09:49:33 CET 2012

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.

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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list