Am 23.03.2013 14:05, schrieb René Thiemann: > Dear all, > > I recently got some message from sourceforge, that they changed their > directory structure. So I have no problems accessing the afp at > > ssh://<login>@hg.code.sf.net/p/afp/code
Thanks a lot. With an updated AFP I now see that the documentation has
already been updated ;-).
Cheers,
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 [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
