<<O>> Difference Topic MizarMode (r1.6 - 08 Jan 2005 - JosefUrban)

META TOPICPARENT	WebHome

Mizar Mode for Emacs

the mizar mode for Emacs is now a part of the MizarDistribution
the latest (and probably experimental) version can be downloaded from the CVS at http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode

Changed:

<
<

documentation can be downloaded from http://kti.ms.mff.cuni.cz/~urban/MizarModeDoc.tar.gz or browsed at http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/html, this link is also available from the Mizar menu in Emacs

>
>

documentation can be downloaded from http://kti.ms.mff.cuni.cz/~urban/MizarModeDoc.tar.gz or browsed at http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/html, this link is also available from the Mizar menu in Emacs; there is now also a paper about MizarMode: http://kti.ms.mff.cuni.cz/~urban/mizmode.ps

Mizar mode has been recently ported to the Windows port of GNU Emacs, (for your convenience, working version of Windows Emacs and grep is mirrored as an attachement below)
a lot of changes has been done, to make mizar mode work with XEmacs, however, you still need to load into XEmacs the file etags.el from the GNU Emacs (instead of XEmacs' tags), to have the browsing extensions working
see also http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/FAQ, MizarFAQ, or ask a question at MizarQuestions

Changed:

<
<

-- JosefUrban - 16 Jul 2002

>
>

-- JosefUrban - 08 Jan 2005

META FORM	WebForm
META FIELD TopicClassification	TopicClassification	MizarTools
META FIELD ProjectGroup^?	ProjectGroup^?
META FIELD ImplementationDate^?	ImplementationDate^?	N/A

META FILEATTACHMENT	emacs-21.2-bin-i386.tar.gz	attr="" comment="winemacs" date="1026832982" path="emacs-21.2-bin-i386.tar.gz" size="12240532" user="JosefUrban" version="1.1"
META FILEATTACHMENT	grep.exe	attr="" comment="gnuwingrep" date="1027441492" path="grep.exe" size="82944" user="JosefUrban" version="1.1"

<<O>> Difference Topic MizarMode (r1.5 - 03 Nov 2003 - JosefUrban)

META TOPICPARENT	WebHome

Mizar Mode for Emacs

the mizar mode for Emacs is now a part of the MizarDistribution
the latest (and probably experimental) version can be downloaded from the CVS at http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode

Added:

>
>

documentation can be downloaded from http://kti.ms.mff.cuni.cz/~urban/MizarModeDoc.tar.gz or browsed at http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/html, this link is also available from the Mizar menu in Emacs

Mizar mode has been recently ported to the Windows port of GNU Emacs, (for your convenience, working version of Windows Emacs and grep is mirrored as an attachement below)
a lot of changes has been done, to make mizar mode work with XEmacs, however, you still need to load into XEmacs the file etags.el from the GNU Emacs (instead of XEmacs' tags), to have the browsing extensions working
see also http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/FAQ, MizarFAQ, or ask a question at MizarQuestions

<<O>> Difference Topic MizarMode (r1.4 - 31 Jul 2002 - JosefUrban)

META TOPICPARENT	WebHome

Mizar Mode for Emacs

the mizar mode for Emacs is now a part of the MizarDistribution
the latest (and probably experimental) version can be downloaded from the CVS at http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode

Changed:

<
<

Mizar mode has been recently ported to the Windows port of GNU Emacs, (for your convenience, working version of Windows Emacs is mirrored as an attachement below)

>
>

Mizar mode has been recently ported to the Windows port of GNU Emacs, (for your convenience, working version of Windows Emacs and grep is mirrored as an attachement below)

a lot of changes has been done, to make mizar mode work with XEmacs, however, you still need to load into XEmacs the file etags.el from the GNU Emacs (instead of XEmacs' tags), to have the browsing extensions working
see also http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/FAQ, MizarFAQ, or ask a question at MizarQuestions

<<O>> Difference Topic MizarMode (r1.3 - 23 Jul 2002 - JosefUrban)

META TOPICPARENT	WebHome

Mizar Mode for Emacs

Line: 10 to 10

-- JosefUrban - 16 Jul 2002

META FILEATTACHMENT	emacs-21.2-bin-i386.tar.gz	attr="" comment="winemacs" date="1026832982" path="emacs-21.2-bin-i386.tar.gz" size="12240532" user="JosefUrban" version="1.1"

Added:

>
>

META FILEATTACHMENT	grep.exe	attr="" comment="gnuwingrep" date="1027441492" path="grep.exe" size="82944" user="JosefUrban" version="1.1"

<<O>> Difference Topic MizarMode (r1.2 - 16 Jul 2002 - JosefUrban)

META TOPICPARENT	WebHome

Mizar Mode for Emacs

<<O>> Difference Topic MizarMode (r1.1 - 16 Jul 2002 - JosefUrban)

Line: 1 to 1

Added:

>
>

META TOPICPARENT	WebHome

Mizar Mode for Emacs

the mizar mode for Emacs is now a part of the MizarDistribution
the latest (and probably experimental) version can be downloaded from the CVS at http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode
Mizar mode has been recently ported to the Windows port of GNU Emacs, (for your convenience, working version of Windows Emacs is mirrored as an attachement below)
a lot of changes has been done, to make mizar mode work with XEmacs, however, you still need to load into XEmacs the file etags.el from the GNU Emacs (instead of XEmacs' tags), to have the browsing extensions working
see also http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/FAQ, MizarFAQ, or ask a question at MizarQuestions

-- JosefUrban - 16 Jul 2002

META FILEATTACHMENT	emacs-21.2-bin-i386.tar.gz	attr="" comment="winemacs" date="1026832982" path="emacs-21.2-bin-i386.tar.gz" size="12240532" user="JosefUrban" version="1.1"

View topic | Diffs | r1.6 | > | r1.5 | > | r1.4 | More

Revision r1.1 - 16 Jul 2002 - 15:34 - JosefUrban
Revision r1.6 - 08 Jan 2005 - 11:44 - JosefUrban