[3256] in linux-announce channel archive
Linux-Announce Digest #545
daemon@ATHENA.MIT.EDU (Digestifier)
Thu Jul 15 21:09:45 1999
From: Digestifier <Linux-Announce-Request@senator-bedfellow.mit.edu>
To: Linux-Announce@senator-bedfellow.mit.edu
Reply-To: Linux-Announce@senator-bedfellow.mit.edu
Date: Thu, 15 Jul 99 20:13:19 EDT
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 (webmaster@diverge.org)
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 <denny@concretecow.com>
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 <denny@mk.lug.org.uk> or join the group's
mailing list by emailing <Majordomo@lists.lug.org.uk> with the message
"subscribe mk"...
Regards,
Denny
<denny@mk.lug.org.uk> OR <denny@concretecow.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: linux-announce@news.ornl.gov
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 <gael@linux-mandrake.com>
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 - gael@linux-mandrake.com >
< 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: linux-announce@news.ornl.gov
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 <ssharkey@lanshark.com>
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: linux-announce@news.ornl.gov
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: webmaster@diverge.org
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
webmaster@diverge.org
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: linux-announce@news.ornl.gov
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 <eileen_cohen@earthlink.net>
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: linux-announce@news.ornl.gov
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 <stacy@redhat.com>
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 revolution@redhat.com.
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: linux-announce@news.ornl.gov
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 <robstockley@bigfoot.com>
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: robstockley@bigfoot.com
ICQ: 37780545
/***************************************************
* fav2bmk.c
* =========
* Written by Rob Stockley (robstockley@bigfoot.com)
* 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
* robstockley@bigfoot.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: linux-announce@news.ornl.gov
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 <kaiv@wakkanet.fi>
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 'kaiv@wakkanet.fi'.
- ---
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: kaiv@wakkanet.fi (Kai Vehmanen)
Maintained-by: kaiv@wakkanet.fi (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:kaiv@wakkanet.fi
: 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: linux-announce@news.ornl.gov
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 <whisper@iag.net>
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:uadmin@elug.org 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: linux-announce@news.ornl.gov
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 <sanface@sanface.com>
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:sanface@sanface.com
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: linux-announce@news.ornl.gov
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: schulz@informatik.tu-muenchen.de (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 schulz@informatik.tu-muenchen.de (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: linux-announce@news.ornl.gov
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 <eileen_cohen@earthlink.net>
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 eileen@linuxworld.com 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: linux-announce@news.ornl.gov
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: Linux-Announce-Request@NEWS-DIGESTS.MIT.EDU
You can submit announcements to be moderated via:
Internet: linux-announce@NEWS.ORNL.GOV
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
******************************
