[3811] in linux-announce channel archive
Linux-Announce Digest #103
daemon@ATHENA.MIT.EDU (Digestifier)
Wed Mar 27 21:13:10 2002
Message-ID: <20020328021306.361.qmail@senator-bedfellow.mit.edu>
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: Wed, 27 Mar 2002 21:13:04 EST
Linux-Announce Digest #103, Volume #4 Wed, 27 Mar 2002 21:13:04 EST
Contents:
ANN: Revolution-12 0.5.4 Released (Fred Gleason)
LOCAL: Linux Users Group of Davis: SETI@home - Apr. 2nd (William Kendrick)
[local] Maine installfest (Bob LeBlanc)
E Equational Theorem Prover 0.63 "Nuwara Eliya" released (Stephan Schulz)
Xplns version 3.3 released (Osamu Ajiki)
----------------------------------------------------------------------------
From: Fred Gleason <fredg@wava.com>
Subject: ANN: Revolution-12 0.5.4 Released
Date: Wed, 27 Mar 2002 17:51:30 CST
I'm pleased to announce the initial public release of the Revolution12
software package. Revolution12 is a linux-based audio package that
implements a comprehensive, network-transparent control framework for the
Revolution 12 Digital Audio Engine, manufactured by Arrakis Systems/Colorado
Digital [http://www.arrakis-systems.com/]. Features of the Revolution12
package include:
Network transparent control. All control clients communicate with
the engine by means of TCP/IP protocols, making remote operation and
multiple control points a snap.
A Qt-based virtual mixing desk. Utilizing "touchscreen-friendly" controls,
virtually every aspect of the desk's appearance and operation is
user-customizable.
Full support for the MCS3000X motorized fader control panel, manufactured
by JL Cooper [http://www.jlcooper.com/].
Integration with the DADPro32 Broadcast Automation System, manufactured
by ENCO Systems [http://www.enco.com/], by means of DAD Command Language
(DCL) calls.
Further information, as well as source code tarballs are available for
download at:
http://linux.blackhawke.net/linux/revolution12/
Revolution12 is available under the GNU Public License.
Enjoy!
|-------------------------------------------------------------------------|
|Frederick F. Gleason, Jr.|WAVA Radio - 105 FM |Voice: 1-(703)-807-2266 |
| Director of Engineering |1901 N. Moore Street| FAX: 1-(703)-807-2245 |
| |Arlington, VA 22209 | Web: HTTP://www.wava.com|
|-------------------------------------------------------------------------|
| Celestial navigation is based on the premise that the Earth is the |
| center of the universe. The premise is wrong, but the navigation |
| works. An incorrect model can be a useful tool. |
| -- Kelvin Throop III |
|-------------------------------------------------------------------------|
##########################################################################
# Send submissions for comp.os.linux.announce to: cola@stump.algebra.com #
# PLEASE remember a short description of the software and the LOCATION. #
# This group is archived at http://stump.algebra.com/~cola/ #
##########################################################################
------------------------------
From: pr@lugod.org (William Kendrick)
Subject: LOCAL: Linux Users Group of Davis: SETI@home - Apr. 2nd
Date: Wed, 27 Mar 2002 17:51:22 CST
The Linux Users' Group of Davis (LUGOD), will be holding a meeting on:
Tuesday
April 2nd, 2002
6:30pm - 9:30pm
(Doors open at 6:00pm; please try to arrive on-time!)
The meeting will be held at:
Z-World, Inc.
2900 Spafford Street
Davis, CA 95616
The topic will be:
SETI@home: An experiment in Internet-scale distributed computing
presented by: Dr. David P. Anderson, Director
SETI@home digitally records radio waves from space at the
Arecibo radio observatory, then distributes the data, over
the Internet, to 3.5 million volunteers whose computers analyze
the data, listening for evidence of extraterrestrial life.
In two years the project has analyzed 35 Terabytes of data using
890,000 years of computer time. We plan to launch a second search
using a Southern-hemisphere radio telescope, and are working on
a new software infrastructure to support this and other projects.
For details on this meeting, visit:
http://www.lugod.org/meeting/
For maps, directions, public transportation schedules, etc., visit:
http://www.lugod.org/meeting/zworld/
LUGOD is a non-profit organization dedicated to the Linux Operating System,
and which holds meetings twice a month in Davis, CA.
Meetings are always free, and open to the public.
Please visit our website for details:
http://www.lugod.org/
-bill!
pr@lugod.org
http://www.lugod.org/
##########################################################################
# Send submissions for comp.os.linux.announce to: cola@stump.algebra.com #
# PLEASE remember a short description of the software and the LOCATION. #
# This group is archived at http://stump.algebra.com/~cola/ #
##########################################################################
------------------------------
From: Bob LeBlanc <bob@ka1fds.org>
Subject: [local] Maine installfest
Date: Wed, 27 Mar 2002 17:52:04 CST
MELUG-Central will be holding an install-fest on April 6th
at KVTC in Fairfield, ME
It will run from 10:00 am to late afternoon.
contact person bob@melug.org
http://melug-central.org/meetings.html
BoB
##########################################################################
# Send submissions for comp.os.linux.announce to: cola@stump.algebra.com #
# PLEASE remember a short description of the software and the LOCATION. #
# This group is archived at http://stump.algebra.com/~cola/ #
##########################################################################
------------------------------
From: schulz@informatik.tu-muenchen.de (Stephan Schulz)
Subject: E Equational Theorem Prover 0.63 "Nuwara Eliya" released
Date: Wed, 27 Mar 2002 17:52:27 CST
The E equational theorem prover version 0.63 "Nuwara Eliya" has been
released.
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.63 has been carefully tested on all CNF problems of the TPTP
problem library, version 2.4.1, and showed no unexpected
behaviour. Some results are available from the web site. The prover
can produce checkable proof objects, a simple proof checker is
included in the distribution.
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 (with tweaking),
Solaris and HPUX.
The system 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)
============================================================================
##########################################################################
# Send submissions for comp.os.linux.announce to: cola@stump.algebra.com #
# PLEASE remember a short description of the software and the LOCATION. #
# This group is archived at http://stump.algebra.com/~cola/ #
##########################################################################
------------------------------
From: Osamu Ajiki <osam-a@astroarts.co.jp>
Subject: Xplns version 3.3 released
Date: Wed, 27 Mar 2002 17:52:27 CST
I'm pleased to announce the release of "Xplns" version 3.3, free
astronomy simulation software written specifically for Unix. It
reproduces real starry sky on your display of X Window System.
It calculates the position of many celestial objects accurately.
You can enjoy the past and future sky on the desk top as if you
have traveled all around the world.
Xplns is available at:
http://www.astroarts.com/products/xplns/
New features in 3.3:
Some 'all-sky mode' supported
You can drag the star chart to move view port
Zoom up/down button now grabs mouse up/down
External image viewer no longer needed to look images
Pseudo color mode X supported
Information box shows rise/set time of the object
Wheel mouse supported
New menu item 'picture mark'
etc.
I used commercial source code provided by AstroArts Inc. to build
it. So, this software is released in binary code package only.
You need Linux(libc5, glibc2.1, glibc2.2) or FreeBSD(ELF) on Intel
x86 platform to enjoy it.
Osamu Ajiki <osam-a@astroarts.co.jp>
.------------------------------o^o------------------------------,
| <osam-a@astroarts.co.jp> o^o Shinjyuku-Ku Tokyo, JAPAN _|
| http://www.astroarts.co.jp/ o^o TEL +81-3-5350-0691 | /
|_________AJIKI, OSAMU_________o^o________AstroArts Inc.______|/
##########################################################################
# Send submissions for comp.os.linux.announce to: cola@stump.algebra.com #
# PLEASE remember a short description of the software and the LOCATION. #
# This group is archived at http://stump.algebra.com/~cola/ #
##########################################################################
------------------------------
** 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
******************************
