Timeline
06/29/12:
- 14:35 Changeset [2691] by
- SVNForceImport importing: …
- 14:35 Changeset [2690] by
- SVNForceImport removing: …
- 14:33 Changeset [2689] by
- Fixing imports - when imports are located in the middle of a theory, they …
06/21/12:
- 16:10 Changeset [2688] by
- SVNForceImport importing: …
- 16:10 Changeset [2687] by
- SVNForceImport removing: …
- 16:09 Changeset [2686] by
- better margins
- 16:05 Changeset [2685] by
- SVNForceImport importing: …
- 16:05 Changeset [2684] by
- SVNForceImport removing: …
- 16:04 Changeset [2683] by
- adding rules for solutions
- 15:36 Changeset [2682] by
- SVNForceImport importing: …
- 15:36 Changeset [2681] by
- SVNForceImport removing: …
- 15:34 Changeset [2680] by
- adding exercise
Note: See TracTimeline
for information about the timeline view.
