Skip to content

Commit 7f2cd8d

Browse files
gilithgilith
committed
Removing references to the mailing list
1 parent ffad0df commit 7f2cd8d

File tree

8 files changed

+27
-32
lines changed

8 files changed

+27
-32
lines changed

‎Makefile.dev

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -53,8 +53,9 @@ bin/mosml/Makefile.src: Makefile Makefile.dev $(MOSML_DEP) $(MLPP)
5353
# The MLton compiler.
5454
###############################################################################
5555

56-
MLTON_OPTS += -verbose 1 -keep ssa -keep ssa2
56+
MLTON_OPTS += -verbose 1
5757
#MLTON_OPTS += -const 'Exn.keepHistory true'
58+
#MLTON_OPTS += -keep ssa -keep ssa2
5859
#MLTON_OPTS += -show-basis basis.sml
5960
#MLTON_OPTS += -inline 100000
6061
#MLTON_OPTS += -const 'MLton.safe false' -const 'MLton.detectOverflow false'
@@ -381,8 +382,8 @@ release: release-stamp mosml mlton polyml status-test documentation $(STD_BENCHM
381382
cp -v doc/favicon.ico $(RELEASE_DIR)/
382383
cp -v doc/MIT-LICENSE $(RELEASE_DIR)/
383384
$(MAKE) tarball
384-
rsync -azv --delete --checksum --size-only --exclude=.gitignore -e ssh $(RELEASE_DIR)/ gilith@login.gilith.com:public_html/software/metis
385-
ssh gilith@login.gilith.com '/bin/bash -l bin/install_metis'
385+
rsync -azv --delete --checksum --size-only --exclude=.gitignore -e ssh $(RELEASE_DIR)/ joe@laurelin.gilith.com:www/gilith/software/metis
386+
ssh joe@laurelin.gilith.com '/bin/bash -l bin/install-metis'
386387
@if GIT_PAGER='' git grep '[*][*][*]' ; then echo "WARNING: TODO comments discovered" ; fi
387388
echo Completed release
388389

‎README.md

Lines changed: 9 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ Metis Theorem Prover (Development Version)
33

44
[Metis][] is an automatic theorem prover for first order logic with equality. It accepts problems in [TPTP format][TPTP].
55

6-
Cloning this repo will install a development version, which includes active debugging code and regression scripts. The latest official release of Metis without any extra development cruft [lives here][Metis].
6+
Cloning this repo will install a [development version][MetisDevelopment], which includes active debugging code and regression scripts. The latest official release of Metis without any extra development cruft [lives here][MetisRelease].
77

88
This software is released under the [MIT License][].
99

@@ -73,11 +73,14 @@ You can use
7373

7474
to clean out any object files.
7575

76-
To report bugs or obtain help, please email <metis-users@gilith.com>
76+
To report a bug or request an enhancement, please file an issue at [GitHub][MetisIssues].
7777

78-
[Metis]: http://www.gilith.com/software/metis/ "Metis Theorem Prover"
79-
[MLton]: http://www.mlton.org/ "The MLton compiler"
80-
[Poly/ML]: http://www.polyml.org/ "The Poly/ML compiler"
81-
[Moscow ML]: http://www.dina.dk/~sestoft/mosml.html "The Moscow ML compiler"
78+
[Metis]: http://www.gilith.com/metis/ "Metis Theorem Prover"
79+
[MetisDevelopment]: https://github.com/gilith/metis "Metis Development"
80+
[MetisIssues]: https://github.com/gilith/metis/issues "Metis Issues"
81+
[MetisRelease]: http://www.gilith.com/software/metis/ "Metis Release"
82+
[MLton]: http://www.mlton.org/ "MLton compiler"
83+
[Poly/ML]: http://www.polyml.org/ "Poly/ML compiler"
84+
[Moscow ML]: http://www.dina.dk/~sestoft/mosml.html "Moscow ML compiler"
8285
[MIT License]: https://github.com/gilith/metis/blob/master/LICENSE "MIT License"
8386
[TPTP]: http://www.tptp.org "TPTP"

‎doc/changelog.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,11 +35,11 @@ <h3>Changes to Metis</h3>
3535

3636
<li>Moved development of Metis to
3737

38-
<a href="https://github.com/gilith/metis">github</a>.</li>
38+
<a href="https://github.com/gilith/metis">GitHub</a>.</li>
3939

4040
<li>Added a
4141

42-
<a href="http://www.gilith.com/pipermail/metis-users/2010-September/000001.html"><kbd>--time-limit N</kbd></a>
42+
<a href="http://www.gilith.com/metis/mailing-list/2010-September/000001.html"><kbd>--time-limit N</kbd></a>
4343

4444
command line argument.</li>
4545

‎doc/download.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ <h3>Download Metis</h3>
3131

3232
<p>The latest version is
3333

34-
Metis 2.3 (release 20171021),
34+
Metis 2.3 (release 20171122),
3535

3636
and can be downloaded in the following formats:</p>
3737

‎doc/faq.html

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -34,20 +34,14 @@ <h4>Where is the Metis documentation?</h4>
3434

3535
is used to display tool help.</p>
3636

37-
<p>Unfortunately there is no documentation for the source code of
38-
Metis, but one design goal of the code was to make it readable, and
39-
I'd be happy to answer questions about it emailed to
40-
41-
<a href="mailto:metis-users@gilith.com">metis-users@gilith.com</a></p>
42-
4337
<hr />
4438

4539
<h4>Is there a Metis mailing list?</h4>
4640

47-
<p>There is an email list for Metis users: you can subscribe and view
48-
the archives at
41+
<p>Not any more. Between 2010 and 2017 there was a mailing list for
42+
Metis users; you can view the archives at
4943

50-
<a href="http://www.gilith.com/mailman/listinfo/metis-users"><tt>http://www.gilith.com/mailman/listinfo/metis-users</tt></a>.</p>
44+
<a href="http://www.gilith.com/metis/mailing-list"><tt>http://www.gilith.com/metis/mailing-list</tt></a>.</p>
5145

5246
<hr />
5347

‎doc/index.html

Lines changed: 5 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -92,24 +92,21 @@ <h3>Project Status</h3>
9292

9393
is
9494

95-
Metis 2.3 (release 20171021).
95+
Metis 2.3 (release 20171122).
9696

9797
Metis is free software, released under the
9898

9999
<a href="MIT-LICENSE">MIT License</a>.
100100

101-
Check out the
101+
To adapt Metis for your own application I recommend forking the
102102

103-
<a href="https://github.com/gilith/metis">development version</a>
104-
105-
to adapt Metis for your own applications.</p>
103+
<a href="https://github.com/gilith/metis">development version</a>.</p>
106104

107105
<h3>Contact</h3>
108106

109-
<p>To report bugs, request features, or obtain help using Metis,
110-
please email
107+
<p>To report a bug or request an enhancement, please file an issue at
111108

112-
<a href="mailto:metis-users@gilith.com">metis-users@gilith.com</a></p>
109+
<a href="https://github.com/gilith/metis/issues">GitHub</a>.</p>
113110

114111
<hr />
115112

‎doc/install.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -103,9 +103,9 @@ <h3>Installing Metis from Source</h3>
103103

104104
<h3>Troubleshooting</h3>
105105

106-
<p>To report bugs or obtain help, please email
106+
<p>To report a bug or request an enhancement, please file an issue at
107107

108-
<a href="mailto:metis-users@gilith.com">metis-users@gilith.com</a></p>
108+
<a href="https://github.com/gilith/metis/issues">GitHub</a>.</p>
109109

110110
<hr />
111111

‎src/metis.sml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ val PROGRAM = "metis";
1313

1414
val VERSION = "2.3";
1515

16-
val versionString = PROGRAM^" "^VERSION^" (release 20171021)"^"\n";
16+
val versionString = PROGRAM^" "^VERSION^" (release 20171122)"^"\n";
1717

1818
(* ------------------------------------------------------------------------- *)
1919
(* Program options. *)

0 commit comments

Comments
 (0)