index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
x-symbol
/
etc
Commit message (
Collapse
)
Author
Age
*
Font from Norbert Voelker
David Aspinall
2007-05-11
|
*
Target for dfont
David Aspinall
2007-05-11
|
*
New files.
David Aspinall
2007-02-08
|
*
New files.
David Aspinall
2005-03-23
|
*
Large fonts
David Aspinall
2005-03-23
|
*
Changes from Clemens Ballarin for large X-Symbol fonts
David Aspinall
2005-02-15
|
*
New files.
David Aspinall
2005-02-15
|
*
Update to 4.5.1-beta from sourceforge.
David Aspinall
2003-09-24
|
*
Deleted file
David Aspinall
2003-03-03
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-03-01
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-10
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-01-21
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2002-10-22
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2002-03-18
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2002-02-23
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2002-02-23
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2001-01-07
|
*
X-Symbol version 4.45 beta
David Aspinall
1998-09-02
|
*
X-Symbol version 4.45 beta
David Aspinall
1998-08-25
|
*
X-Symbol version 4.45 beta
David Aspinall
1998-08-24
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
1998-05-01
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
1998-04-17
|
*
X-Symbol version 4.45 beta
David Aspinall
1998-01-26
|
*
X-Symbol version 4.45 beta
David Aspinall
1997-09-18
|
*
X-Symbol version 4.45 beta
David Aspinall
1997-09-17
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
1996-03-15