Custom Query (1145 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (16 - 18 of 1145)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Ticket Resolution Summary Owner Reporter
#1395 fixed Add coq, coqide and proofgeneral for 6.820 jdreed
#513 fixed Add fortune-mod to -extra-software-nox jdreed

Reported by jdreed, 12 years ago.

Description

I use this in documentation as an example of a command which generates output, but allows users not to focus too much on the content of the output generated. And bsdgames is part of -extra-software-nox already, so this shouldn't be controversial.

#1118 fixed Add graphviz and xdot to thirdparty jdreed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Note: See TracQuery for help on using queries.