Timeline
Nov 9, 2013:
- 1:05 AM Changeset [1217] by
- Implement preference pages Drop old IMP preference stuff
Nov 8, 2013:
- 11:28 PM Changeset [1216] by
- Set up connection to Eivind's solver
Nov 5, 2013:
- 8:37 PM Changeset [1215] by
- remove old code
Nov 4, 2013:
- 2:58 AM Changeset [1214] by
- Bugfix
- 2:37 AM Changeset [1213] by
- Sync with new Rascal stable
Nov 2, 2013:
- 11:51 AM Ticket #220 (Name space for operations and axioms) created by
- As a programmer I distinguish between operations, which are part of …
Note:
See TracTimeline
for information about the timeline view.