Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update TODO
authorCezary Kaliszyk <kaliszyk@in.tum.de>
Fri, 26 Feb 2010 16:22:47 +0100
changeset 1281 66fc26f32f25
parent 1280 1f057f8da8aa
child 1282 ea46a354f382
Update TODO
Attic/FIXME-TODO file | annotate | diff | comparison | revisions 
--- a/Attic/FIXME-TODO	Fri Feb 26 16:15:03 2010 +0100
+++ b/Attic/FIXME-TODO	Fri Feb 26 16:22:47 2010 +0100
@@ -29,6 +29,9 @@
 Lower Priority
 ==============
 
+- the quot_lifted attribute should rename variables so they do not
+  suggest that they talk about raw terms.
+
 - accept partial equivalence relations
 
 - think about what happens if things go wrong (like
nominal2