[isabelle] New AFP category "Tools"
- To: Isabelle Users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] New AFP category "Tools"
- From: Tobias Nipkow <nipkow at in.tum.de>
- Date: Mon, 27 Jul 2015 15:10:00 +0200
- User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:38.0) Gecko/20100101 Thunderbird/38.1.0
We have added another AFP topic/category "Tools" that contains two entries so
far (go to the bottom of http://afp.sourceforge.net/topics.shtml). The topic is
meant to gather together entries that are tools and should not be hidden under
some specific computer science or math topic.
Description: S/MIME Cryptographic Signature
This archive was generated by a fusion of
Pipermail (Mailman edition) and