diff options
author | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-27 22:23:32 +0100 |
---|---|---|
committer | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-27 22:23:32 +0100 |
commit | e354311547a5a5f4d817e6af5b7df99813d66ecb (patch) | |
tree | 5cb822d55880815595bf1f306bcc81e45d1f631c /doc/jcgp/gui/console | |
parent | 4c8de2402f2878cde7587c7f3bbf4ffaea86efd4 (diff) |
Changing function set through GUI now triggers a reset if arity changes.
Diffstat (limited to 'doc/jcgp/gui/console')
0 files changed, 0 insertions, 0 deletions