Cambridge
I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge in the Department of Computer Science and Technology.
release-5.0 added by ~jonsterling on ~jonsterling/forester
bug added by ~jonsterling on ~jonsterling/forester
Ticket created by ~jonsterling on ~jonsterling/forester
Trebor notices that when you use
\%
in a link, it results in an error. I think the problem is that we need to convert this to a string when trying to read text from a stream of nodes.
Comment by ~jonsterling on ~jonsterling/forester
sounds good!
Comment by ~jonsterling on ~jonsterling/forester
RESOLVED CLOSED
REPORTEDComment by ~jonsterling on ~jonsterling/forester
Agreed! This is a stupid hack and I am in favour of any reasonable replacement.
REPORTED
RESOLVED CLOSEDComment by ~jonsterling on ~jonsterling/forester
~kentookura I think that could be OK. I don't feel too strongly about it.
Comment by ~jonsterling on ~jonsterling/forester
Is "existence" of a namespace a well-defined notion in Yuujinchou's model? I had thought that namespaces are never 'allocated' but just refer to some path prefix. I guess, more to my point, what would be the expected behaviour of:
\namespace\foo{ % export nothing in here } \open\foo
~jonsterling What does "Asset located at `%s' does not have a content address" mean?
Comment by ~jonsterling on ~jonsterling/forester
~kentookura: But have you at least figured out why the lexer is detecting a newline in files that in fact have no newlines?