Linux-Announce Digest #545, Volume #3 Thu, 15 Jul 99 20:13:19 EDT Contents: LOCAL: Milton Keynes LUG is born... (Denny De La Haye) Crypto stuff released for Linux-Mandrake (Gael Duval) COMMERCIAL: LANshark Systems announces Fall Linux Training Schedule (Scott Sharkey) WWW: UNIX and Linux Computing Journals ([EMAIL PROTECTED]) Please Help Build LinuxWorld Today's Product Listing (Eileen Cohen) LOCAL: Last Red Hat Tour Stop! Minneapolis (Stacy Doster) A tool for converting MSIE bookmarks to Netscape (Rob Stockley) ecasound v1.2.1r3 - sound processing program (Kai Vehmanen) LOCAL: Central Florida ELUG August Meeting! (whisper) SHAREWARE: txt2pdf.cgi 1.1 (SANFACE Software) E Equational Theorem Prover 0.5 "Phuguri" released (Stephan Schulz) WANTED: LinuxWorld Today Seeks Conference Reporters (Eileen Cohen) ---------------------------------------------------------------------------- From: Denny De La Haye <[EMAIL PROTECTED]> Subject: LOCAL: Milton Keynes LUG is born... Date: Thu, 15 Jul 1999 22:09:07 GMT =====BEGIN PGP SIGNED MESSAGE===== Anyone in the Milton Keynes area may be interested in the fact that there is now a Linux User Group based in the town - to find out more, point your browser at http://www.mk.lug.org.uk/ or email me <[EMAIL PROTECTED]> or join the group's mailing list by emailing <[EMAIL PROTECTED]> with the message "subscribe mk"... Regards, Denny <[EMAIL PROTECTED]> OR <[EMAIL PROTECTED]> - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45cA1rUI/eHXJZ5AQHW2AQAt+yp1Xj6NCgo+7kMU3AWrBu7eJT0msHr TwwaNQ6GgabTVnRUKLpdq0t/AbJk2I5KclMoJj8kfI2HXY5keCWLneXKjfSFAIr5 s+x8tmQs1tVqPt66Yx9G2tzy+yf1pxO6gdArpKZI4YygVqFWJTEZk7UQpsuBUy4D NCl/vKkyB+A= =KOtQ =====END PGP SIGNATURE===== ------------------------------ From: Gael Duval <[EMAIL PROTECTED]> Subject: Crypto stuff released for Linux-Mandrake Date: Thu, 15 Jul 1999 22:12:31 GMT =====BEGIN PGP SIGNED MESSAGE===== MandrakeSoft has released a set of cryptographic packages that can not be distributed or redistributed from the USA and from several European countries. All those packages have been uploaded to unrestricted servers. Right now, we have released crypto stuff such as lynx_ssl, mod_ssl for Apache, openssl, ssh and pgp. All those packages have been compiled for Linux-Mandrake with pentium optimizations. In most cases, they will run on Red Hat boxes. Please get the packages from: ftp://ftp.sunet.se/pub/Linux/distributions/mandrake-crypto/ Other mirrors will be listed here soon. Mandrake page related to crypto packages: http://www.linux-mandrake.com/en/fcrypto.php3 - -- < Gael DUVAL - [EMAIL PROTECTED] > < Mandrake 6.0 on http://www.linux-mandrake.com> - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45cz1rUI/eHXJZ5AQEJMwP8CoVXlV0FKRjdkoRKtKBqSCLVdKRFu56O wLBrkkqhLQQMTwpd3Z64oyUY4r5Q5gLOAyM/NIaUjtiMY/jXdivJINwV2kk+8tOA c0QWiFgCNRY2jfvQKvdWrdj6FjIv7G+wrwEP9Zl9kucnsZlVZCeVLF2KU/UvhAvs GApMBaAhxCg= =dnW+ =====END PGP SIGNATURE===== ------------------------------ From: Scott Sharkey <[EMAIL PROTECTED]> Subject: COMMERCIAL: LANshark Systems announces Fall Linux Training Schedule Date: Thu, 15 Jul 1999 22:12:56 GMT =====BEGIN PGP SIGNED MESSAGE===== LANshark Systems, Inc. (http://linux.lanshark.com) has announced their fall training schedule for Linux Classes. LANshark offers the following classes in their Columbus, Ohio (USA) location: Basic Linux System Administration (5 days) Advanced Linux System Administration (4 days) Linux for Windows NT Administrators (3 days) The Apache Web Server (2 days) Linux Overview (1 day) All classes offer a 15% discount for early registration. More information is available at http://linux.lanshark.com/training.htm - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45c6FrUI/eHXJZ5AQF1YQP/WKT7B+NU2gA8nvk21uHWDcY/iW0gmSm6 v05B7khm/oTiTkrs8e6IAHgfvPGxNn8ZgLexFi6YeUAS7lF35boKUmf7iwDu4bmu I9ArEFw38MEiDPyyRywMawT2BiZtu6ie+WSQISszzTDL+BJCQO7Pxt4aU++85wF8 +e05Hnp6Mi0= =4aNb =====END PGP SIGNATURE===== ------------------------------ From: [EMAIL PROTECTED] Subject: WWW: UNIX and Linux Computing Journals Date: Thu, 15 Jul 1999 22:14:36 GMT =====BEGIN PGP SIGNED MESSAGE===== The UNIX & Linux Computing Journal is On Line: A periodical with general information about Unix and GNU/Linux Systems for users, administrators, programmers and hobbyists alike: http://www.diverge.org/ulcj/ - --/J Jay Fink [EMAIL PROTECTED] http://www.diverge.org - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45dTFrUI/eHXJZ5AQE5uwQAhzsOkl014lzK5sQz9AyUxwEVUwXhgn5Y L8DAVll7suGAl/yWdXieUE70xpotfu4ox27rBqOnHBloSEDAanKz4KpTWUmHkWlx lmvtQlvp/9LsQD+tv2cwnHcS2H4UYqyNC/5g/HOPmE1B0OiVfUgqrtSWbswfb6xw b8vFp+K2kpM= =kFfR =====END PGP SIGNATURE===== ------------------------------ From: Eileen Cohen <[EMAIL PROTECTED]> Subject: Please Help Build LinuxWorld Today's Product Listing Date: Thu, 15 Jul 1999 22:19:49 GMT =====BEGIN PGP SIGNED MESSAGE===== (Please do not reply to this message) LinuxWorld Today (http://linuxworld.com/linuxworldtoday), the official online show daily (a spin-off from LinuxWorld Magazine) for the August 9-12 LinuxWorld Conference & Expo (San Jose, CA) will include the Product Resources Center, concise descriptions of products (including noncommercial software) that people can explore at the LinuxWorld Conference & Expo. Vendors and developers: Please submit your information as soon as possible at http://linuxworld.com/linuxworldtoday, and we'll add it to the Product Resources Center. Make sure your product gets the coverage it deserves, in LinuxWorld Today, the publication of record for the LinuxWorld Conference & Expo. Eileen Cohen Editor, LinuxWorld Today http://linuxworld.com/linuxworldtoday - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45ehVrUI/eHXJZ5AQFUFQQAmuLE3UEPLbfYH52icHm8UMAL3wcjr7QS Lm0t/yD0a7ysjpIj5AJKL6lcVQEJqf8Zrw2pDIygVb1e2YGJB3eFkpLaYBXir+nb yQnK0LaaG+ttk7W5djigWvI6qFzbhgEpg89+TlzyhE7NG38UlcV8AyCRngtydc8E 5sKDjNDqHgE= =CBju =====END PGP SIGNATURE===== ------------------------------ From: Stacy Doster <[EMAIL PROTECTED]> Subject: LOCAL: Last Red Hat Tour Stop! Minneapolis Date: Thu, 15 Jul 1999 22:17:24 GMT =====BEGIN PGP SIGNED MESSAGE===== Please post: Don't miss the last Red Hat Revolution Tour stop! http://www.redhat.com/revolutiontour/ WHEN AND WHERE: On July 16th & 17th, the revolution hits Minneapolis! WHO: Catch the latest Linux offerings from Cygnus, IBM, Metrowerks, and chat with local user groups. WHAT: Hear Red Hat technical gurus speak on the latest in open source developments, technologies in Red Hat Linux 6.0, additional new features, RedHat Linux as a server, Red Hat Linux as a technical workstation, demo of GNOME, Open Source model, and the Linux Community. Get a free T-shirt--one per attendee! Evening Events 6:30 - 7:15 - socializing, meeting with industry leaders 7:30 - 9 - hear scheduled talk, Q&A session Retail Events 12-3 Richfield Best Buy. Check the website for more details, http://www.redhat.com/revolutiontour To catch the revolution, register at http://www.redhat.com/revolutiontour/tour.html. All registrants will be entered into a special prize drawing, so register today! Questions? Send them to [EMAIL PROTECTED] Take this chance to catch up with Red Hat for Revolution Tour '99! http://www.redhat.com/revolutiontour/ - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45d9FrUI/eHXJZ5AQE5xgP7Bp4C+8NY5ZFd4gF8cEhWvS1b0k3EeU4z nmRiBlW/wAKgjpSA5chBMwntI4koDe4ptKzA4taOkt8PTciDfJF/ul/fqX5rhjdQ 5XkZ52Y1k5VSyBxLl7UfIaLTA/3s1PJaHoiiSz9dwbputqjFqF29hGXRo2zAZPkY fmXpPT60xrU= =gKz2 =====END PGP SIGNATURE===== ------------------------------ From: Rob Stockley <[EMAIL PROTECTED]> Subject: A tool for converting MSIE bookmarks to Netscape Date: Thu, 15 Jul 1999 22:11:06 GMT =====BEGIN PGP SIGNED MESSAGE===== If you're switching from Internet Explorer under Windows to Netscape Navigator under Linux then you might have trouble copying your IE bookmarks across to Netscape. I know I had this problem. Being an inventive sort with too much time on my hands I wrote a small program to do the conversion for me. For anyone whose interested I've pasted the program header onto the end of this post. Anyone whose interested in a copy should at this stage email me direct and I'll send you the source. Ideally I'd like to release this publically, probably under the GPL. Can anyone suggest how I'd go about this. Reply by email, lets keep this ng for announcements. - -- Rob Stockley Christchurch, NZ Email: [EMAIL PROTECTED] ICQ: 37780545 /*************************************************** * fav2bmk.c * ========= * Written by Rob Stockley ([EMAIL PROTECTED]) * July 1999 * * I recently changed from using Windows most of the time * and Linux occasionally to using Linux 95% of the time * and Windows only for cool games like Apache Longbow II. * * Under Linux I'm using Netscape Navigator for all my * internet work but while under Windows I used IE. When * changing I ran into the following problem. IE stores * all my bookmarks as files in a nest of folders, but * Mozilla stores them as a single HTML file. My problem. * How do I keep all my bookmarks without having to type * them all out in the new format? Answer, write a program * to automate the process. * * This is my first programming project involving C for * quite some time. I know I could achieve most, if not * all of this with a shell script. However, I'm writing * it in C as an exercise before moving on to some more * interesting projects. * * Usage * ===== * fav2bmk ie_favorites_dir * * eg. fav2bmk /dos/windows/Favorites * * The windows path and tree must be mounted and readable * by you. * * Concept * ======= * Basically the program recursively scans all the files * and subdirectories beneath the path given on the command * line. When it finds a file fitting the mask *.url it * creates a bookmark for it. Directories are translated * into leaves on a results tree. Empty directories * are kept. Once the path has been completely scanned * the results tree is parsed and the HTML source is output * to the stdout ready to be piped to a file. * * I know there's an awful lot of error checking done throughout * this code but in my opinion it's all worth having even if some * of it is redundant. programs that don't depend on real-time * loops can only benefit from stronger error checking and the * extra few micro-seconds it takes to run are insignificant * on most of todays machines. * * Bugs * ==== * None that I know of, however, there is conceptually no limit * to how deep the path will be searched. This means that if you * do something like 'fav2bmk /' you might run out of memory, disk * space, or both. That's not really a bug but just something to * be aware of. I don't know if Mozilla sets a limit on the maximum * depth of the bookmarks path. * * Copyrights etc. * =============== * It is my intention to announce this in comp.os.linux.announce * and if I get any interest from others to release it into * the public domain under GNU General Public Licence. If you * find this program useful or if you've got suggestions or bugs * to report then please send me an email with 'fav2bmk' somewhere * in the subject line. Enjoy! * * Rob Stockley * New Zealand * [EMAIL PROTECTED] * ******************************************************/ - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45celrUI/eHXJZ5AQEq9gQAihHuDRPpbFzYjc/UKeb1UJxH4Gcpuxka i3QqAF4Vm8Al4Rqj3lTQNVqv+mxNxRqM5HBZ+pVMd/q+fT4KRmLXp+k/xMRLCzS5 zycgKByLSKKNgyGfOcXRkbQIPfv+nNdB65g19gRBPgtMg5ziyTB70xrs7FjrtPHk hXzgleCZpk4= =8gle =====END PGP SIGNATURE===== ------------------------------ From: Kai Vehmanen <[EMAIL PROTECTED]> Subject: ecasound v1.2.1r3 - sound processing program Date: Thu, 15 Jul 1999 22:11:34 GMT =====BEGIN PGP SIGNED MESSAGE===== Although usable, this version should be considered beta. For instance qtecasound is still just a qt/x11 wrapper for the textmode version. Also a lot of important documentation is still unfinished. Feedback, bugs, problems, succesful install reports, wishes, etc are all welcome. Send emails to '[EMAIL PROTECTED]'. - --- Changes since last release 120799 (v1.2.1r3): - added: 'make install' now creates /etc/ecasound directory and copies all the configuration/preset files to this directory (existing files/dirs are skipped) - added: lots of crash-guards to command line parsing - added: frequently-asked-questions file (both txt and html) - added: new options to the configure script: --disable-alsa, --disable-oss and --disable-qt - fixed: bugs in mixmode multithreaded-iactive (crashed pretty much everytime) - fixed: estatus output was sometimes pretty messy 110799 (v1.2.0r2): - added: support for ALSA input/output - added: a lot of new documentation to the man pages - added: new configurable options to ~/.ecasoundrc (default-buffersize, default-to-interactive-mode, default-to-raisepriority) - added: finally implemented the 'help' command in the interactive-mode; also added a prompt, which should help a bit :) - added: autoconf and automake additions; now qtecasound is compiled only if qt library is found, OSS and ALSA modules are compiled if the necessary headers and libraries are available - added: support for single-chain effect presets (-ps command line option) - fixed: bugs with OSS-input (device was sometimes closed multiple times resulting in core dumps) - fixed: auto-runmode used 'simple-iactive' mixmode although iactive-mode wasn't set - fixed: looping wasn't working properly - fixed: -m option wasn't working - removed: simple filter effect (not really useful) - removed: 'Waiting for the processing thread' messagebox (qtecasound) 100799 (v1.1.8r2): - fixed: more synchronisation bugs 050799 (v1.1.6r2): - added: rewrote the man-pages using Yodl; now they're also available in HTML-format - fixed: OSS-output module used a non-standard location for soundcard.h (noticed by D.Phillips) - --- Ecasound home page http://www.wakkanet.fi/ecasound/ - --- Files http://www.wakkanet.fi/~kaiv/ecasound/ecasound-1.2.1r3-1.i386.rpm - RPM, glibc 2.1.x, Qt 2.x, ALSA http://www.wakkanet.fi/~kaiv/ecasound/ecasound-noalsa-1.2.1r3-1.i386.rpm - RPM, glibc 2.1.x, Qt 2.x http://www.wakkanet.fi/~kaiv/ecasound/ecasound-noqt-1.2.1r3-1.i386.rpm - RPM, glibc 2.1.x, ALSA http://www.wakkanet.fi/~kaiv/ecasound/ecasound-noqt-noalsa-1.2.1r3-1.i386.rpm - RPM, glibc 2.1.x http://www.wakkanet.fi/~kaiv/ecasound/ecasound-1.2.1r3-1.src.rpm http://www.wakkanet.fi/~kaiv/ecasound/ecasound-1.2.1r3-1.tar.gz - --- An example of what ecasound can do Process the input file "somefile.mp3" with a resonant lowpass filter with resonance of 1.5 and overall gain of 0.9. The cutoff frequency varies between 400-4200Hz and is controlled by a sine oscillator with frequency of 0.2Hz (no initial phase). To do this, you just need to enter the following command line. The effect processing is done in realtime and the output is sent to /dev/dsp (this time OSS drivers are used): ecasound somefile.mp3 -ef3:800,1.5,0.9 -kos:1,400,4200,0.2,0 - --- LSM-entry Begin3 Title: ecasound Version: 1.2.1r3 Entered-date: 12JUL99 Description: Ecasound is a text-mode sound processing program that can do various tasks from basic editing and effect processing to multitrack recording. Although the user interface may seem a bit cryptic, one of the main design goals of this project has been to create an easy-to-use, creative utility for recording and mixing purposes. Because of the simple interface, batch files can be used to automate complex editing tasks. qtecasound - a Qt and X11 based GUI - is also included. Keywords: audio multimedia multitrack effect dsp mixing processing recording OSS ALSA wav mp3 CDDA console X11 Qt Author: [EMAIL PROTECTED] (Kai Vehmanen) Maintained-by: [EMAIL PROTECTED] (Kai Vehmanen) Primary-site: http://www.wakkanet.fi/~kaiv/ecasound/ Platforms: POSIX threads, OSS and/or ALSA drivers Copying-policy: GPL End - -- Kai Vehmanen ----------------------------- CS, University of Turku, Finland : email mailto:[EMAIL PROTECTED] : home page, projects, etc http://www.wakkanet.fi/~kaiv/ : my music (ambient-idm-rock-...mp3/ra) http://www.wakkanet.fi/sculpscape/ - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45cllrUI/eHXJZ5AQG06wQAgpHf7A2cOKgR4k90dgwdAjt3tgQtVgxs 2EqcjTZuUah5km2lLtE/Ju6Bgr8Xj81X/hzYYJIIpfN2+cpjDZR9zQSCZO5u5TFa a42h/rBWjDEC+W2nApoOdFnuSEEtibceLw9IqGzl7+EoeWUx1HIwwb1r4/R9iBVN zJ/YJSgg7Rk= =barb =====END PGP SIGNATURE===== ------------------------------ From: whisper <[EMAIL PROTECTED]> Subject: LOCAL: Central Florida ELUG August Meeting! Date: Thu, 15 Jul 1999 22:05:29 GMT =====BEGIN PGP SIGNED MESSAGE===== Everyone's Linux User Group (ELUG), serving the Central Florida and Space Coast since January 1998 has a new meeting place and time! DATE: FRIDAY, 6 August 1999 TIME: 7:30pm (1930) PLACE: Research Pavillion next to the University of Central Florida ( c/o TrainMe.com) 12424 Research Parkway Suite 380 Orlando Florida 32826 VACINITY: Check out the meeting info/map page at -- http://www.elug.org/meetings/index.shtml TOPIC: INSTALLFEST-a-thon! Free! Hope to see you there with your hardware for a free Linux install and tips, etc.! - -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- Jeff Rose Everyone's Linux User Group (ELUG) mailto:[EMAIL PROTECTED] http://www.elug.org - -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45bKVrUI/eHXJZ5AQGaqgP+PsnZQleHCSjce5mnpFpezesqvDl2K60W 4M/NT3qL2ZWOreLhpO1dDCXzFGEzO23NiFgkHfkzvlc54FDbpO4t2exNzPtV/zo3 z21BfTXRpk+YTXxYhMtem9ieomXj9uHnJ86s6KXNhpalqh/OR/rovIo+OBVh0tcU mLowOvK31po= =9P0R =====END PGP SIGNATURE===== ------------------------------ From: SANFACE Software <[EMAIL PROTECTED]> Subject: SHAREWARE: txt2pdf.cgi 1.1 Date: Thu, 15 Jul 1999 22:06:33 GMT =====BEGIN PGP SIGNED MESSAGE===== txt2pdf.cgi is a very flexible PERL cgi-bin application based on the powerful txt2pdf script. It allows you to digit your text document inside an HTML form and immediately transform it in a PDF document! You can test the power of txt2pdf.cgi on the net at http://www.sanface.com/createpdf.shtml With the new version 1.1 we distribute also the PERL code. You can decide to use the code to give the Create your PDF service like free Internet service or register the code ($50) to give the Create your PDF service to your Internet or Intranet users with few rules The txt2pdf.cgi source code is our company core business. We trust you. Download txt2pdf.cgi v. 1.1 and test it! We'll send you a free registered copy for a good idea or txt2pdf.cgi modify. - -- SANFACE Software http://www.sanface.com mailto:[EMAIL PROTECTED] Sent via Deja.com http://www.deja.com/ Share what you know. Learn what you don't. - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45baVrUI/eHXJZ5AQF+PAP+LJnxE2EPF0purWVfPJowYN7pK377qwKi MYgDULE/1UlJs9KktmPMLx0OlCc5dV4rtZa63bCGiAA9L1rMGXc3wAudOwHbEd22 /dH2NC/RqqTTqJT7CP4Ga9kGB+WjhkozAzA5L6ls0fHqHyJBdVAA0SfexiTiRY+w 9+mSyPIAFRs= =x3c+ =====END PGP SIGNATURE===== ------------------------------ From: [EMAIL PROTECTED] (Stephan Schulz) Subject: E Equational Theorem Prover 0.5 "Phuguri" released Date: Thu, 15 Jul 1999 22:06:45 GMT =====BEGIN PGP SIGNED MESSAGE===== The E equational theorem prover version 0.5 "Phuguri" has been released. Version 0.5 participated in two categories of the 1999 CADE ATP System Competition (http://www.cs.jcu.edu.au/~tptp/CASC-16/, results are mirrored at http://wwwjessen.informatik.tu-muenchen.de/~tptp/CASC-16/) and won fourth place in both. It won two of the five subdivisions of the prestigious MIX category. A prerelease version of E 0.5 was a major component of the E-SETHEO system that won MIX. E is a a purely equational theorem prover for clausal logic with equality. Thus, you can specify a mathematical problem (e.g. a mathematical puzzle), a (small) piece of program code or some hardware elements in clausal logic (using rules of the form "If A and B and C then D or E or F" in a PROLOG-like syntax), and try to have the system prove certain properties of the described structure. Be warned that this can consume inane (in fact, theoretically unlimited) amounts of CPU time and memory for difficult problems. E 0.5 has been tested on all 3334 CNF problems of the TPTP problem library, version 2.2.0, and showed no unexpected behaviour. Some results are available from the web site. E is available as a source distribution for UNIX-variants. It installs cleanly under all UNIX variants I could get my hands on: Various versions of GNU/Linux for Intel and SPARC, SunOS, Solaris and HPUX. E is distributed under the GNU General Public License. You can find the source distribution and additional information at http://wwwjessen.informatik.tu-muenchen.de/~schulz/WORK/eprover.html Our servers are usually rebooted Monday mornings between 3:30 and 4:00 ME(S)Z, and may be unavailable during this time. Have fun! Stephan - -------------------------- It can be done! --------------------------------- Please email me as [EMAIL PROTECTED] (Stephan Schulz) - ---------------------------------------------------------------------------- - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45bdVrUI/eHXJZ5AQEmbAP+JA6SefoJQub2iCdCtrvCwbgyNJzwBnAG myyPH1Oy5FH0Nk2gCxAnRBPYmd+JuKtKI0vjDgPHDHAPpUmCQsxxIYSzLvG71shA gKc5VComZkqsmw2drRoTmomcOr797oWNUMN/++/tYXoRJAKL0AJSgra3cWKeJF3M +23fiKBEKuk= =3T+7 =====END PGP SIGNATURE===== ------------------------------ From: Eileen Cohen <[EMAIL PROTECTED]> Subject: WANTED: LinuxWorld Today Seeks Conference Reporters Date: Thu, 15 Jul 1999 22:18:14 GMT =====BEGIN PGP SIGNED MESSAGE===== (Please do not reply to this message) LinuxWorld Today (http://linuxworld.com/linuxworldtoday), the official online show daily (a spin-off from LinuxWorld Magazine) for the August 9-12 LinuxWorld Conference & Expo (San Jose, CA), is looking for five volunteers to each write seven 350-to-600-word summaries of conference sessions and BOFs in exchange for a press pass granting free entry to the entire event (including tutorials). Authors' bylines will accompany their articles. Specifically, we need each of the five reporters to commit to covering a full track (6 sessions; see http://www.linuxworldexpo.com/confsessions.htm), plus one BOF (http://www.linuxworldexpo.com/birds.htm) session. Track 6, the "And Everything Else Track," is already spoken for; the rest are up for grabs. Please send email to [EMAIL PROTECTED] before July 16 if you are interested, indicating: *Your first, second, and third choices for which track and which BOF you'd like to cover *Some idea of your writing experience *Whether or not you will need a press pass *Your phone number This is a great opportunity to attend the Conference & Expo for free and get your writing published. LinuxWorld appreciates your help. Eileen Cohen Editor, LinuxWorld Today http://linuxworld.com/linuxworldtoday (510) 704-9921 - -- This article has been digitally signed by the moderator, using PGP. http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature. Send submissions for comp.os.linux.announce to: [EMAIL PROTECTED] PLEASE remember a short description of the software and the LOCATION. This group is archived at http://www.iki.fi/mjr/linux/cola.html =====BEGIN PGP SIGNATURE===== Version: 2.6.3i Charset: latin1 iQCVAgUBN45eJlrUI/eHXJZ5AQHkSQQAi+Oyh3ZOzNsa8M4xLl2F0oDVluBChf6D NoyGi8onFo9keu4d/ymkO3xwRjy2yGx4XDJl5FopDlIYlxhlibkR+oWi/Kaxsva4 HAc+VNCG/IOl1oYmmdxv0xDcOysyBdD12XWgiZXofeEn7fGarC1G0ER8qlLFM6Fq ojqjobEwLEM= =tATe =====END PGP SIGNATURE===== ------------------------------ ** FOR YOUR REFERENCE ** The service address, to which questions about the list itself and requests to be added to or deleted from it should be directed, is: Internet: [EMAIL PROTECTED] You can submit announcements to be moderated via: Internet: [EMAIL PROTECTED] Linux may be obtained via one of these FTP sites: ftp.funet.fi pub/Linux tsx-11.mit.edu pub/linux sunsite.unc.edu pub/Linux End of Linux-Announce Digest ******************************
