User contributions
From Impredicative Wiki
- 07:26, 31 May 2018 (diff | hist) . . (+4) . . Libraries and FFI bindings (→urweb-dequeue: wrong wikipedia link) (current)
- 16:42, 12 August 2015 (diff | hist) . . (+3) . . Libraries and FFI bindings (→urweb-pairing-heap: link correction)
- 16:40, 12 August 2015 (diff | hist) . . (+265) . . Libraries and FFI bindings (→urweb-dequeue: new section urweb-pairing-heap)
- 08:25, 9 August 2015 (diff | hist) . . (-3) . . Libraries and FFI bindings (→urweb-dequeue: english correction)
- 07:31, 9 August 2015 (diff | hist) . . (+122) . . Libraries and FFI bindings (→urweb-xmlw: added new library urweb-dequeue)
- 10:23, 4 June 2015 (diff | hist) . . (-2) . . Compiler contributions procedure (description) (current)
- 10:17, 4 June 2015 (diff | hist) . . (+117) . . Compiler contributions procedure (grouping the test commands)
- 10:06, 4 June 2015 (diff | hist) . . (+179) . . Compiler contributions procedure (added mercurial installation and guide link)
- 09:57, 4 June 2015 (diff | hist) . . (+28) . . Compiler contributions procedure (better comment)
- 08:38, 4 June 2015 (diff | hist) . . (+22) . . Compiler contributions procedure (description)
- 08:33, 4 June 2015 (diff | hist) . . (+2) . . m Compiler contributions procedure (better verb)
- 08:19, 4 June 2015 (diff | hist) . . (+39) . . Ur (→Ur/Web: added new page Compiler contributions procedure)
- 08:18, 4 June 2015 (diff | hist) . . (+1,716) . . N Compiler contributions procedure (Created page with "Here follows the list of actions involved in testing a compiler new feature. The compiler uses the mercurial control revision system. <pre> # set up the mercurial initial f...")
- 06:01, 9 February 2015 (diff | hist) . . (+74) . . Libraries and FFI bindings (→urweb-aatree: addition)
- 12:02, 2 February 2015 (diff | hist) . . (-61) . . Libraries and FFI bindings (→urweb-aatree: irrelevant annotation on random int lists (I made my own random func. because I didn't know about the "Basis.rand" function))
- 05:59, 29 January 2015 (diff | hist) . . (+1) . . Libraries and FFI bindings (→urweb-aatree: spacing)
- 05:57, 29 January 2015 (diff | hist) . . (+229) . . Libraries and FFI bindings (→Others: addition)