Yentl Van Tendeloo 7d7a5b50ab Fixed set_difference and made some new operations/altered them for the GUI 8 年之前
..
http_client.xml 76dd61659a Added model_list, but seems broken (not sent?) 8 年之前
modelverse.xml 7d7a5b50ab Fixed set_difference and made some new operations/altered them for the GUI 8 年之前