| Mon, 20 Oct 2014 21:44:33 +0200 | wenzelm | tuned exposition of {* ... *}; | changeset | files |
| Mon, 20 Oct 2014 21:32:54 +0200 | wenzelm | more antiquotations; | changeset | files |
| Mon, 20 Oct 2014 20:43:02 +0200 | wenzelm | more antiquotations; | changeset | files |
| Mon, 20 Oct 2014 17:56:23 +0200 | kuncar | register transfer rules from BNF and FP_Sugar | changeset | files |
| Mon, 20 Oct 2014 17:56:21 +0200 | kuncar | refactored | changeset | files |
| Mon, 20 Oct 2014 17:41:04 +0200 | wenzelm | merged | changeset | files |
| Mon, 20 Oct 2014 17:02:46 +0200 | wenzelm | back to formal comment (see 23a380cc45f4, 3094b0edd6b5); | changeset | files |