Commits

sielski authored fbf5b6eb033
plugin czyszczący typy, poprawa kodowania plików z ontologią (wszystko jest w utf8 i tak są zaprogramowane readery w kodzie), zmieny w regułach wnioskowania. git-svn-id: https://svn.man.poznan.pl/svnroot/synat/A10/software@3716 7cf39abc-cf8c-11df-9ef5-d97d1e642de8