User contributions
From CVC4
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 18:40, 22 December 2016 (diff | hist) . . (0) . . Sets (fx card)
- 13:10, 2 December 2015 (diff | hist) . . (+5) . . Meeting Minutes - December 2, 2015 (add wei's status) (current)
- 12:20, 2 December 2015 (diff | hist) . . (-32) . . Meeting Minutes - December 2, 2015 (→Status: not sure I heard the names correct)
- 12:16, 2 December 2015 (diff | hist) . . (+17) . . Meeting Minutes - December 2, 2015 (→Status)
- 12:14, 2 December 2015 (diff | hist) . . (+176) . . Meeting Minutes - December 2, 2015 (→Status)
- 12:05, 2 December 2015 (diff | hist) . . (+509) . . N Meeting Minutes - December 2, 2015 (Created page with "==Status== Tim * Lot of build problems ** new options *** dist problem: automake (looking at the wrong place for intermediate files) ** parsers for generated directory *** remove…")
- 15:01, 7 October 2015 (diff | hist) . . (+70) . . Release checklist (→Release requirements for 1.5)
- 14:49, 7 October 2015 (diff | hist) . . (0) . . Release checklist (→Release requirements for 1.5)
- 11:13, 7 October 2015 (diff | hist) . . (+261) . . Release checklist (→Release requirements for 1.5)
- 17:53, 28 September 2015 (diff | hist) . . (0) . . m Sets (spell)
- 10:52, 23 September 2015 (diff | hist) . . (+59) . . Release checklist (→Release requirements for 1.5)
- 11:35, 2 September 2015 (diff | hist) . . (+53) . . Release checklist (→Release requirements for 1.5)
- 11:29, 2 September 2015 (diff | hist) . . (+84) . . Release checklist (→Release requirements for 1.5)
- 11:15, 19 August 2015 (diff | hist) . . (+296) . . Release checklist (→Release requirements for 1.5)
- 13:05, 8 July 2015 (diff | hist) . . (+97) . . Release checklist (1.5)
- 14:01, 10 June 2015 (diff | hist) . . (+712) . . User:Kshitij/Sets (→Jun 2015) (current)
- 10:28, 10 June 2015 (diff | hist) . . (+1,773) . . User:Kshitij/Sets
- 11:09, 22 October 2014 (diff | hist) . . (+431) . . Meeting Minutes - October 22, 2014
- 10:22, 22 October 2014 (diff | hist) . . (+60) . . N Meeting Minutes - October 22, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-10-15|1:30pm|3:30pm}}")
- 13:23, 15 October 2014 (diff | hist) . . (+630) . . User:Kshitij/Sets (→Oct 7, 2014)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)