> With Scala, the problem explodes since for one source file various > generated files are produced. This requires an analysis with entities > are mapped to class files later on and implement a different name clash > resolving strategy for their names. Maybe a mimicry of the file system > itself: keep case as it is, but avoid clashes with same name in > different case.
See now http://isabelle.in.tum.de/reports/Isabelle/rev/a4d1f8041af0 Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev