Wed, 27 Jan 2010 14:56:58 +0100 | Cezary Kaliszyk | Some cleaning of thy vs lthy vs context. | file | diff | annotate |
Wed, 27 Jan 2010 13:44:05 +0100 | Cezary Kaliszyk | Another string in the specification. | file | diff | annotate |
Wed, 27 Jan 2010 13:32:28 +0100 | Cezary Kaliszyk | Variable takes a 'name'. | file | diff | annotate |
Wed, 27 Jan 2010 11:48:04 +0100 | Christian Urban | very rough example file for how nominal2 specification can be parsed | file | diff | annotate |