| Thu, 04 Dec 2014 20:45:11 +0100 | wenzelm | tuned header; | changeset | files |
| Thu, 04 Dec 2014 17:05:58 +0100 | hoelzl | generalized (borel_)measurable_SUP/INF/lfp/gfp; tuned proofs for sigma-closure of product spaces | changeset | files |
| Wed, 03 Dec 2014 22:44:24 +0100 | wenzelm | merged | changeset | files |
| Wed, 03 Dec 2014 22:34:28 +0100 | wenzelm | node-specific keywords, with session base syntax as default; | changeset | files |
| Wed, 03 Dec 2014 20:45:20 +0100 | wenzelm | clarified define_command: send tokens more directly, without requiring keywords in ML; | changeset | files |
| Wed, 03 Dec 2014 15:22:27 +0100 | wenzelm | more robust bundle_name: avoid assumptions about identifier, keywords etc.; | changeset | files |
| Wed, 03 Dec 2014 14:04:38 +0100 | wenzelm | tuned signature; | changeset | files |