src/Doc/Implementation/ML.thy
2015-03-06 wenzelm 2015-03-06 tuned;
2015-03-01 wenzelm 2015-03-01 tuned;
2014-12-24 haftmann 2014-12-24 typos
2014-12-22 wenzelm 2014-12-22 discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
2014-12-12 wenzelm 2014-12-12 tuned;
2014-10-31 wenzelm 2014-10-31 discontinued Proof General;
2014-10-20 wenzelm 2014-10-20 more antiquotations; tuned spacing;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-07-31 wenzelm 2014-07-31 prefer dynamic ML_print_depth if context happens to be available;
2014-07-31 wenzelm 2014-07-31 clarified compile-time use of ML_print_depth;
2014-06-28 wenzelm 2014-06-28 misc tuning;
2014-06-27 wenzelm 2014-06-27 more tight Mailbox: single list is sufficient for single receiver, reverse outside critical section;
2014-06-23 wenzelm 2014-06-23 more on "Futures"; removed obsolete comments;
2014-06-23 wenzelm 2014-06-23 more on "Futures";
2014-06-21 wenzelm 2014-06-21 more on "Future values";
2014-06-21 wenzelm 2014-06-21 more on "Lazy evaluation";
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-05 haftmann 2014-04-05 closer correspondence of document and session names, while maintaining document names for external reference