2 Commits (f12e35fef902a0b725717e8a6bc7d9c977bcf7b3)

Author	SHA1	Message	Date
Salvo 'LtWorf' Tomaselli	8cb08ad030	Change relational language to use math symbols ... The symbols previously used were a Canadian script, and were looking good enough, but they might not be installed in every machine. Besides, all this is to workaround a Qt5 bug that prevents from rendering those symbols at times.	2015-05-31 19:01:03 +07:00
LtWorf	ba564b55d3	- Added two more tests ... - Simplified code of optimizations module - Improved doc of optimization module - Added option to get all the intermediate passages of optimization git-svn-id: http://galileo.dmi.unict.it/svn/relational/trunk@269 014f5005-505e-4b48-8d0a-63407b615a7c	2011-02-24 13:27:33 +07:00