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

Re: [mizar] Private DB

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Private DB
From: "Jesse Alama" <alama@stanford.edu>
Date: Fri, 15 Sep 2006 18:16:38 -0700
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=luWIXzvnb8tm9Ai+H8xemVDZCIdAiqw4enkmwLCnKsCcFTcluWJvAJqGqWeTOxWq+rnFm+wVY51DGX0EdSWaBRJW7tv/O5ttB6RUy0pfKa7Rnc2YGEJhi/o76edpmSYyjsK2PPGWFrSS+wlJbTs9j+5MDZlz2mV0AYtdI16hDd8=

Hi Andrzej,

I use emacs often and might be able to help.  What's going on?

Warm regards,

Jesse

On 9/15/06, Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp> wrote:

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



--
Jesse Alama (alama@stanford.edu)

Follow-Ups:
- Re: [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>

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>
- [mizar] Private DB
  - From: Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>

Prev by Date: [mizar] Private DB
Next by Date: Re: [mizar] Private DB
Index(es):
- Chronological
- Thread