Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv27484
Modified Files:
mizar-semantic-mml.info
Log Message:
New upstream version. Update by jessealama from the submissions tracker:
https://sourceforge.net/tracker/?func=detail&aid=2900234&group_id=17203&atid=414256
Index: mizar-semantic-mml.info
===================================================================
RCS file:
/cvsroot/fink/dists/10.4/unstable/main/finkinfo/sci/mizar-semantic-mml.info,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -d -r1.13 -r1.14
--- mizar-semantic-mml.info 22 Feb 2009 23:15:36 -0000 1.13
+++ mizar-semantic-mml.info 21 Nov 2009 22:32:11 -0000 1.14
@@ -1,24 +1,21 @@
Package: mizar-semantic-mml
Description: Semantic HTML presentation of the MML
-Version: 4.117.1046
+Version: 4.129.1070
Revision: 1
Replaces: mizar-semantic-mml (<= 4.66.942)
License: Commercial
Homepage: http://mmlquery.mizar.org
-Source: http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.%v.tar.gz
-Source-MD5: 93f2169ce4127178764ad85fe7962fb9
-SourceDirectory: html
+Source: http://centria.di.fct.unl.pt/~alama/mizar/mml-html/7.11.03_%v.tar.bz2
+Source-MD5: 73fbb27d993f8b10d9205583fcff59ce
CompileScript: <<
<<
InstallScript: <<
mkdir -p %i/share/mizar/html
cp *.html %i/share/mizar/html
- mkdir -p %i/share/mizar/html/proofs
- cp -R proofs/* %i/share/mizar/html/proofs
<<
DescDetail: <<
This package provides a hypertext version of a rich semantic
representation of the Mizar Mathematical Library (MML).
<<
-Maintainer: Jesse Alama <al...@stanford.edu>
+Maintainer: Jesse Alama <jesse.al...@gmail.com>
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
