Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2007-01-13 | * printTermAsXML: treat derivations specially; emit an element | Eelco Dolstra | 1 | -11/+55 |
2007-01-13 | * Make printing an expression as XML interruptible. | Eelco Dolstra | 1 | -0/+3 |
2007-01-13 | * Cleanup. | Eelco Dolstra | 1 | -1/+1 |
2006-10-16 | * Big cleanup of the semantics of paths, strings, contexts, string | Eelco Dolstra | 1 | -14/+8 |
2006-10-11 | * Removed URIs from the evaluator (NIX-66). They are now just another | Eelco Dolstra | 1 | -3/+0 |
2006-10-03 | * toXML: propagate the context to allow derivations to be used in the | Eelco Dolstra | 1 | -6/+13 |
2006-09-04 | * Use a proper namespace. | Eelco Dolstra | 1 | -2/+7 |
2006-08-24 | * Refactoring. | Eelco Dolstra | 1 | -0/+92 |