[opentheory-users] Version problem

[Robert White]

Hi all,

Just another quick question:

I noticed that we have bool-def.art and also bool-def-1.11.art
I noticed that bool-def.art is in version 6. I wonder if bool-def-1.11.art
is just the same thing in the old version?

Since the page bool-def-1.11.html gives me no further idea of
bool-def-1.11.art, shall I just ignore that file in use?

Thanks very much again.

-- 

Regards,
Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang)
INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150519/d9235641/attachment.html>