Merge branch 'master' of pltgit:plt

I'm not sure why this is non-fast-forwardable, but it apparently is.
This commit is contained in:
Stephen Bloch 2013-04-18 12:41:51 -04:00
commit 7a33712603

View File

@ -1,3 +1,6 @@
5.3.4
- Moved Optimization Coach to the package system
- Multiple fixes to polydots
5.3.3
No changes
5.3.2