CLOPS Feature Requests

Status: Beta

Brought to you by: fintanf, jgcharles, kiniry, mikolasj, and 2 others

Feature Requests Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
47	Better the ant task that generates the distribution	v0.3	open	Radu GRIGORE	2009-08-10	2012-08-16
46	explain stripQuotesIfPresent	v0.3	open	Fintan	2009-08-08	2012-08-16
45	Put CLOPS Javadoc on website	v0.3	open	Mikolas Janota	2009-08-04	2012-08-16
43	directories for samples in release	v0.3	open		2009-07-31	2012-08-16
42	Zip(s) of th tutorial examples	v0.3	open		2009-07-30	2012-08-16
41	web-page look	v0.3	open	Radu GRIGORE	2009-07-30	2012-08-16
40	Detect double matching	v0.3	open		2009-07-30	2012-08-16
39	Point to tracker	v0.3	open		2009-07-24	2012-08-16
37	Din you mean...	v0.3	open		2009-07-24	2012-08-16
36	Option parameters in doc gen	v0.3	open		2009-07-23	2012-08-16
35	Systematize the validity part of the DSL	v0.3	open		2009-07-23	2012-08-16
34	TAB completion	v0.3	open		2009-07-23	2012-08-16
33	Include zipped wc examples	v0.3	open	Mikolas Janota	2009-07-23	2012-08-16
32	review proposed statistics	v0.3	open		2009-06-30	2012-08-16
31	identify all uses of old Java logging framework	v0.3	open		2009-06-30	2012-08-16
29	identify all potentially useful statistics to gather	v0.3	open	Joseph Kiniry	2009-06-30	2012-08-16
26	ant task	v0.3	open	Radu GRIGORE	2009-06-15	2012-08-16
21	Change AllOptions to something else	v0.3	open	Mikolas Janota	2009-04-14	2012-08-16
20	Experimental tag	v0.3	open	Mikolas Janota	2009-04-14	2012-08-16
18	Custom template pack	v1.0	open		2009-04-14	2012-08-16
17	DSL used as usage example	v1.0	open		2009-04-14	2012-08-16
16	Document properties	v0.3	open	Mikolas Janota	2009-04-14	2012-08-16
13	Tutorial	v0.3	open	Radu GRIGORE	2009-04-14	2012-08-16
11	Main documentation update	v0.3	open	Mikolas Janota	2009-04-14	2012-08-16
3	debian package	v1.0	open	Radu GRIGORE	2009-03-25	2012-08-16