{9} All Tickets (16 matches)

Ticket Summary Type Owner Status Created
#1 Manticore parallel programming language talk request new Apr 22, 2011
#2 Make us a new logo for the trac task closed Apr 22, 2011
#3 An L4.verified retrospective. talk offer Thomas closed Apr 25, 2011
#4 Functional pretty-printing talk offer Tony Sloane closed May 1, 2011
#5 2010 presentation: specs, tips and tricks for a Scala DSL task closed May 31, 2011
#6 The Essence of the Iterator Pattern task closed Mar 15, 2012
#7 Abella theorem prover talk request new Mar 5, 2013
#8 Question about compatibility task closed Oct 15, 2013
#9 Question about your service task closed Oct 29, 2013
#10 Question about compatibility task closed Nov 5, 2013
#11 Question about compatibility task closed Nov 6, 2013
#12 do don�t you have to check overly far task closed Nov 7, 2013
#13 decorations and / or decrease just about every single day task closed Nov 7, 2013
#14 Question about your service task closed Nov 9, 2013
#15 Question about your service task closed Nov 9, 2013
#16 Question about compatibility task closed Nov 21, 2013
Note: See TracReports for help on using and creating reports.