Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

xemacs-proofgeneral-el

Elisp source files for Proof General under XEmacs

This package contains the elisp source files for Proof General under XEmacs. You do not need to install this package to run Proof General. Install the xemacs-proofgeneral package to use Proof General with XEmacs.
Homepage:
Package version:3.7.1
Architecture:noarch
Distribution:Fedora
Filename:xemacs-proofgeneral-el-3.7.1-5.fc15.noarch.rpm

Browse inside xemacs-proofgeneral-el-3.7.1-5.fc15.noarch.rpm

869 B2014-11-27HEADER  view  525+ mirrors
         [DIR]usr/ (1)  65535+ mirrors

Download xemacs-proofgeneral-el-3.7.1-5.fc15.noarch.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com