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

Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962


Hi,

On Sat, 24 Mar 2007, Freek Wiedijk wrote:


Well, the version number went from 7.8.03 to 7.8.04, which
looks rather minor to me.  So my guess for the answer is:


	- Something is new but so small that it is not worthwhile
         talking about.
One of the differences between those two versions is that 7.8.04 makes the HTML changes described at http://mizar.uwb.edu.pl/forum/archive/0701/msg00036.html work. I.e. you'll get original identifier names when browsing your local article, and if you install the html files into $MIZFILES/html, your local article will be linked to it.
Since Mizar source code is (unlike MML) in a CVS (obviously password-protected, to keep the flocks of lurking vultures away :-), perhaps it would help to include a CVS changelog of the sources in each Mizar distro. Oh well, but that might give some precious hints to those crowds who want to feed upon the advanced Mizar technology hidden in the sources, so I don't really know ... 

On Sat, 24 Mar 2007, Piotr Rudnicki wrote:


What's new in this version?


While awaiting an answer I invented several working hypotheses:

...

    - Everything is documented at some Wiki that only Josef knows about.
Well, there used to be a CVS for MML, but I guess it was felt as more of a pain than a help, and never systematically used. I can revive it, having just a cron job watching for new Mizar versions, and putting them there. But the documentation strings will be like "MML 4.76.959" - it does not help much.
I think this generally is a weakness of the Mizar "centralistic development model" - people who "produce" (MML, code, Mizar changes) don't care much about "documentation" (it's just waste of time, and they know best anyway :-). Hopefully there'll never be a wiki for MML, because that might force everyone to document (or even worse: discuss) their changes.
Btw., there already is a wiki for documenting Mizar-related things (if wiki.mizar.org is not explicit enough, suggest something better). If you make it there (currently the whole domain mizar.org seems to be down, in such case http://lipa.ms.mff.cuni.cz/cgi-bin/twiki/view/Mizar is an alternative URL), click on Changes in the left frame. That will show the (very small) user-generated traffic on the wiki (anyone is welcome to improve it). 

Best,
Josef