[isabelle-dev] includes

Clemens Ballarin ballarin at in.tum.de
Wed Oct 15 10:36:17 CEST 2008


Dear all,

I'm planning a major revision of the locale implementation and  
consider removing "includes" altogether.  Please get in touch if you  
have an application (outside the repository and afp) that depends on  
includes in a critical way.

Clemens




More information about the isabelle-dev mailing list