Issues (1–6 of 6)

Title	T	P	Status	Assignee	Version	Created	Updated
#957: sub-vocabulary in modelexpand ?	bug	major	new		3.0	2017-12-26	2017-12-26
#939: expansion in sub-vocabulary Inferences	bug	major	invalid		3.0	2017-08-28	2017-08-29
#909: Unable to build IDP 3.5.0 on Ubuntu 14.04	bug	major	new		3.0	2015-11-25	2016-08-04
#763: Merging Structures	bug	major	resolved		3.0	2014-06-02	2015-04-09
#862: merging structures Inferences	bug	minor	duplicate	Joris Renkens	3.0	2014-12-04	2014-12-04
#735: `.history` file	proposal	trivial	resolved		3.0	2014-04-14	2014-04-17