Walther Neuper <wneuper@ist.tugraz.at> [Thu, 27 Apr 2017 12:52:01 +0200] rev 5084
merged
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 27 Apr 2017 12:51:54 +0200] rev 5083
match of asts, partial
match of asts, partial
match of asts, partial
match of asts, partial
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 27 Apr 2017 11:21:17 +0200] rev 5082
canonical structure for asts
canonical structure for asts
canonical structure for asts
canonical structure for asts
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 23 Apr 2017 11:14:37 +0200] rev 5081
made Ast.math_string_of Isac-like (FIXME special case)
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 21 Apr 2017 18:06:58 +0200] rev 5080
adapted Ast.math_string_of for BOX, GAP and CURSOR
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 21 Apr 2017 16:21:03 +0200] rev 5079
improved representation of BOX, GAP and CURSOR
Note: the other examples will be adapted accordingly after discussion.
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 19 Apr 2017 13:35:14 +0200] rev 5078
Ast representation of numerals
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 08 Apr 2017 17:19:05 +0200] rev 5077
Asts for input supported by GAP
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 08 Apr 2017 14:04:51 +0200] rev 5076
Asts for BOX, GAP and CURSOR in usecase
Concerns UC "User guidance by marked subterms and fill-in-gaps".
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 05 Apr 2017 22:05:31 +0200] rev 5075
push number of Warnings below 50
This limit has been established by Andreas Hujber,
we shall stay below this limit.