[
Date Prev
][
Date Next
]
[Chronological]
[Thread]
[Top]
[mizar] Private DB
To
:
mizar-forum@mizar.uwb.edu.pl
Subject
:
[mizar] Private DB
From
:
Andrzej Trybulec <
trybulec@asuka.cs.shinshu-u.ac.jp
>
Date: Fri, 15 Sep 2006 18:06:07 +0900
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
Follow-Ups
:
Re: [mizar] Private DB
From:
"Jesse Alama" <alama@stanford.edu>
References
:
[mizar] Type extensions
From:
Adam Grabowski <adam@math.uwb.edu.pl>
Re: [mizar] Type extensions
From:
Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Re: [mizar] Type extensions
From:
Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
Re: [mizar] Type extensions
From:
Artur Kornilowicz <arturk@math.uwb.edu.pl>
Re: [mizar] Type extensions
From:
Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>
Prev by Date:
Re: [mizar] Type extensions
Next by Date:
Re: [mizar] Private DB
Index(es):
Chronological
Thread