projects / repair.git / history
| 2004-08-17 | bdemsky | Bug in the freeciv spec. | tree | commitdiff |
| 2004-08-16 | bdemsky | Change to the spec...missed a consistency property... | tree | commitdiff |
| 2004-08-15 | bdemsky | Abiword specification | tree | commitdiff |
| 2004-05-18 | bdemsky | Bugs with generating ands and ors...ahh. | tree | commitdiff |
| 2004-05-18 | bdemsky | Freeciv spec | tree | commitdiff |
| 2004-05-17 | bdemsky | Fixed a variety of bugs... | tree | commitdiff |
| 2004-05-11 | bdemsky | 1) Further updates to specifications. | tree | commitdiff |
| 2004-05-10 | bdemsky | Improved search....Updated filesystem model. Added... | tree | commitdiff |
| 2004-05-06 | bdemsky | Organizing | tree | commitdiff |
| 2004-05-06 | bdemsky | Checking in specs | tree | commitdiff |
| 2004-05-06 | bdemsky | 1) Checking in filesystem example | tree | commitdiff |