aboutsummaryrefslogtreecommitdiff
path: root/src/expr.cc
AgeCommit 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 greatlyEelco Dolstra
2003-10-07* Synchronise terminology with the ICSE paper (e.g., slice -> closure,Eelco Dolstra