#749 (Feb 8, 2017, 12:43:03 PM)

1. elaborated examples for computations (detail / hgweb)
2. isabelle update_cartouches (detail / hgweb)
3. dedicated computation preprocessing rules for nat, int implemented by target language literals (detail / hgweb)
4. dropped superfluous preprocessing rule (detail / hgweb)
5. preprocessing rules must always stem from static context (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 2 hr 47 min build duration;
• 2 hr 52 min total from scheduled to completion.