Menu ▾ ▴

RFDs Commit Log


Commit Date  
[r17] (HEAD) by mtrute

applied fixes from Anton via c.l.f

 2018-07-24 17:34:30 Tree
[r16] by mtrute

Finalize version 4

 2018-07-23 15:37:34 Tree
[r15] by mtrute

Minor editorial changes

 2018-06-06 18:37:12 Tree
[r14] by mtrute

Add remarks about 'recognizable?'

 2018-05-13 10:21:45 Tree
[r13] by mtrute

move some sections to normative chapters, fixed typos, improved wording

 2018-04-24 18:56:38 Tree
[r12] by mtrute

Add dependencies

 2017-12-19 18:17:56 Tree
[r11] by mtrute

building instructions

 2017-12-19 18:17:10 Tree
[r10] by mtrute

revert last checkin

 2017-12-19 18:15:42 Tree
[r9] by mtrute

adapt the committee words

 2017-12-19 18:14:47 Tree
[r8] by mtrute

Further rewording stack -> set

 2017-12-19 18:13:37 Tree
Older >