Index: TODO
===================================================================
--- TODO	(revision 10210)
+++ TODO	(revision 10211)
@@ -15,7 +15,6 @@
 	- hlibrary:
 		- figure how to handle aux sheets from hlibrary (prefix?)
 		- more generally: how to handle files from a different directory
-	- spice: re-test spice doc/ tutorial sim/ examples (they may have broken)
 	- recompile without gtk and valgrind compilations!
 	- FEATURE: implement attributes passing down
 		- FEATURE: implement attribute symlinks (see design doc)