[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Private DB



I have created private PREL just for one article and I do not know how to change settings in emacs to press him to use it. Anybody could help?

Andrzej Trybulec