summaryrefslogtreecommitdiff
path: root/fonts
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-10-05 17:37:49 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-10-05 17:37:49 +0200
commitd2150cf0ed43abc8e496e9a95013028325057976 (patch)
tree679e80ed70aa8b54e7c04e212157dbaa7ae8d6a5 /fonts
parent4a53a4594018fc6e538c87f7321ffefadc5edbd3 (diff)
Record all user activity in trace
New generic actions: open(time), close plan hint(feedback), test(feedback) New Prolog actions: prolog_solve(query), prolog_next, prolog_end New Python actions: python_run(program), python_stop, python_input(text) New robot actions: robot_run(program), robot_stop(program)
Diffstat (limited to 'fonts')
0 files changed, 0 insertions, 0 deletions