1.2.5.1: Building badge
1.2.5.2: enhancements to the usosTip widget
1.2.5.3: Enhancements to _apitable
1.2.5.4: Minor UI fixes
1.2.5.5: Big enhancements to the faculty badge
1.2.5.6: Rewrite _apitable as jQuery-UI widget
1.2.5.7: Enhancements in apitable, tip, selectbox
1.2.5.8: _usosFeedback widget
1.2.5.9: Add support for user_messages.generic_message
Auto-fix whitespace and formatting
Make the docs up-to-date
Auto-fix whitespace and formatting
Prepare 1.3 release
1.3