Age | Commit message (Expand) | Author |
---|---|---|
2003-10-16 | * Substitutes and nix-pull now work again. | Eelco Dolstra |
2003-10-15 | * Refactoring: move all database manipulation into store.cc. | Eelco Dolstra |
2003-10-10 | * Performance improvement: don't register already registered terms, | Eelco Dolstra |
2003-10-08 | * Get rid of identifiers since they are redundant now. This greatly | Eelco Dolstra |
2003-10-07 | * Synchronise terminology with the ICSE paper (e.g., slice -> closure, | Eelco Dolstra |