| Age | Commit message (Collapse) | Author |
|---|
|
+ ajax_http_get(url,callback) now checks the HTTP response status and shows an
error message if the status is not OK (is not 200)
+ New function node(tag,attrs,children) to create document nodes with arbitraty
attributes and children. The functions node() and text() should now be enough
to construct arbitrary document trees in an easy, functional way, and many of
the more specialized functions could be removed.
+ When calling the function button(label,action,key), the action can be a
function instead of a string, so you can use local/anonymous functions.
+ New function debug(str) adds text to the element with id=debug, if it
exists.
|
|
|
|
postpone the decision instead of failing immediately. added test case as well
|
|
metavariables as well
|
|
|
|
|
|
we are not in silent mode. This was changed incidentally on the way.
|
|
stack overflow for large search spaces
|
|
|
|
|
|
|
|
|
|
|
|
otherwise we force the exhaustive tree generation to be strict
|
|
|
|
command in the shell
|
|
|
|
generated from the parser
|
|
|
|
|
|
work unless JavaScript is enabled
|
|
dependent types
|
|
|
|
|
|
|
|
same monad in PGF.Forest.getAbsTrees
|
|
|
|
category
|
|
|
|
|
|
|
|
solutions found
|
|
functions now return both the generated tree and its linearization
|
|
|
|
|
|
in the types
|
|
|
|
types
|
|
|
|
|
|
|
|
|
|
|
|
after each solution
|
|
in the abstract syntax
|
|
|
|
|
|
|
|
|
|
|
