Open GoogleCodeExporter opened 9 years ago
Setting priority and changing milestone and subject to better reflect current
situation (change of back end has resulted in much better performance). Caching
is still something we should look at in the future
Original comment by ross.gardler
on 7 Jul 2010 at 10:14
Original issue reported on code.google.com by
sander.v...@oucs.ox.ac.uk
on 22 Jan 2010 at 4:34