#256 (Feb 9, 2017, 12:50:09 AM)

1. more portable SQL types; (detail / hgweb)
2. more portable: SQL standard syntax instead of MySQL extension; (detail / hgweb)
3. general SQL database support, for SQLite and PostgreSQL;
   tuned; (detail / hgweb)
4. updated; (detail / hgweb)
5. minimal support for PostgreSQL databases; (detail / hgweb)
6. elaborated examples for computations (detail / hgweb)
7. isabelle update_cartouches (detail / hgweb)
8. dedicated computation preprocessing rules for nat, int implemented by target language literals (detail / hgweb)
9. dropped superfluous preprocessing rule (detail / hgweb)
10. preprocessing rules must always stem from static context (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 1 hr 11 min build duration;
• 1 hr 11 min total from scheduled to completion.