https://github.com/flyspeck/flyspeck
Revision 180dd4dd7af09312d76ec7b4140f04d4e6f6c273 authored by tchales@gmail.com on 22 November 2014, 15:27:05 UTC, committed by tchales@gmail.com on 22 November 2014, 15:27:05 UTC
git-svn-id: http://flyspeck.googlecode.com/svn/trunk@3694 7e6f0243-3638-0410-8646-9b5c9460da73
1 parent 7daa039
History
Tip revision: 180dd4dd7af09312d76ec7b4140f04d4e6f6c273 authored by tchales@gmail.com on 22 November 2014, 15:27:05 UTC
svn3694 submitted to Pi, editor Henry Cohn
Tip revision: 180dd4d

back to top