https://sourceforge.net/p/afp/afp-2013-1/Recent changes to AFP 2013-1 repository in afp projectenWed, 11 Dec 2013 05:55:49 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/0cab08f3e51cd657571b2e958c3330d5e23b961e/<div class="markdown_content"><p>Added tag Isabelle2013-2 for changeset 0231f20822ed<br /><a href="/p/afp/afp-2013-1/ci/0cab08f3e51cd657571b2e958c3330d5e23b961e/">View Changes</a></p></div>kleingWed, 11 Dec 2013 05:55:49 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/0cab08f3e51cd657571b2e958c3330d5e23b961e/https://sourceforge.net/p/afp/afp-2013-1/ci/0231f20822ed959b4e13644168b487ffe10390ee/<div class="markdown_content"><p>Fixing Benzmüller again<br /><a href="/p/afp/afp-2013-1/ci/0231f20822ed959b4e13644168b487ffe10390ee/">View Changes</a></p></div>paulsonSat, 07 Dec 2013 17:14:22 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/0231f20822ed959b4e13644168b487ffe10390ee/https://sourceforge.net/p/afp/afp-2013-1/ci/cc3801881254e2911a47bf61acd3417d60945f29/<div class="markdown_content"><p>Fixed the name Benzmüller<br /><a href="/p/afp/afp-2013-1/ci/cc3801881254e2911a47bf61acd3417d60945f29/">View Changes</a></p></div>paulsonFri, 06 Dec 2013 23:54:58 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/cc3801881254e2911a47bf61acd3417d60945f29/https://sourceforge.net/p/afp/afp-2013-1/ci/466eb6d57d10b09aeeb45c71dbf22e7456a459ac/<div class="markdown_content"><p>mention UTF-8 for the metadata file<br /><a href="/p/afp/afp-2013-1/ci/466eb6d57d10b09aeeb45c71dbf22e7456a459ac/">View Changes</a></p></div>kleingWed, 04 Dec 2013 23:22:18 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/466eb6d57d10b09aeeb45c71dbf22e7456a459ac/https://sourceforge.net/p/afp/afp-2013-1/ci/9c61d7990e10ad4648db657109b4a13a6d45ee6d/<div class="markdown_content"><p>migrate from ISO-8859-1 to UTF-8<br /><a href="/p/afp/afp-2013-1/ci/9c61d7990e10ad4648db657109b4a13a6d45ee6d/">View Changes</a></p></div>Wed, 04 Dec 2013 10:36:29 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/9c61d7990e10ad4648db657109b4a13a6d45ee6d/https://sourceforge.net/p/afp/afp-2013-1/ci/f8be3c31c0efdb350a5ea2feed407bb6496f2dd5/<div class="markdown_content"><p>regenerated web site<br /><a href="/p/afp/afp-2013-1/ci/f8be3c31c0efdb350a5ea2feed407bb6496f2dd5/">View Changes</a></p></div>kleingWed, 04 Dec 2013 10:36:29 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/f8be3c31c0efdb350a5ea2feed407bb6496f2dd5/https://sourceforge.net/p/afp/afp-2013-1/ci/1abd6aae7aab004bc0bea26dcf2863c8554a7545/<div class="markdown_content"><p>use terminal colors to indicate errors/warnings<br /><a href="/p/afp/afp-2013-1/ci/1abd6aae7aab004bc0bea26dcf2863c8554a7545/">View Changes</a></p></div>Wed, 04 Dec 2013 10:36:29 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/1abd6aae7aab004bc0bea26dcf2863c8554a7545/https://sourceforge.net/p/afp/afp-2013-1/ci/3127a36314a6359e6e313d18e996b90d416d441e/<div class="markdown_content"><p>use Python's built-in OrderedDict (&gt;= 2.7)<br /><a href="/p/afp/afp-2013-1/ci/3127a36314a6359e6e313d18e996b90d416d441e/">View Changes</a></p></div>Wed, 04 Dec 2013 10:36:29 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/3127a36314a6359e6e313d18e996b90d416d441e/https://sourceforge.net/p/afp/afp-2013-1/ci/848abf62b14ea481fc545ac9f3c01e8fb98ddc2a/<div class="markdown_content"><p>include entry in AFP group<br /><a href="/p/afp/afp-2013-1/ci/848abf62b14ea481fc545ac9f3c01e8fb98ddc2a/">View Changes</a></p></div>kleingWed, 04 Dec 2013 08:27:52 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/848abf62b14ea481fc545ac9f3c01e8fb98ddc2a/https://sourceforge.net/p/afp/afp-2013-1/ci/bd4a4ffa40c07d6e78a4c5182b0dd1e6dc8beee4/<div class="markdown_content"><p>avoid mentioning $AFP in entries, so things also work without component setup<br /><a href="/p/afp/afp-2013-1/ci/bd4a4ffa40c07d6e78a4c5182b0dd1e6dc8beee4/">View Changes</a></p></div>kleingMon, 02 Dec 2013 01:59:35 -0000https://sourceforge.net/p/afp/afp-2013-1/ci/bd4a4ffa40c07d6e78a4c5182b0dd1e6dc8beee4/