Timeline
01/30/11:
- 11:43 Ticket #105 (Add support for new statements: pushassumption, popassumption) closed by
- wontfix: The functionality that is required for (say) the loop technique is …
- 11:41 Ticket #106 (Simplify print in model package) closed by
- fixed: Done.
- 11:28 Ticket #172 (Add check for the -inputX=N options) closed by
- fixed: Done in Runner.java.
- 10:50 Ticket #262 (Make .externalToolBuilders/Ant_Builder.launch generic) closed by
- fixed: Changed Ant Builder to use system variable for project directory …
- 10:30 Ticket #103 (problem with build) closed by
- fixed: I set up Ant builder to launch automatically when changes are made. …
Note:
See TracTimeline
for information about the timeline view.
