diff --git a/book/2002-10.txt b/book/2002-10.txt index 9a99a3b..9b19802 100644 --- a/book/2002-10.txt +++ b/book/2002-10.txt @@ -1,21 +1,14 @@ - \start Date: Mon, 14 Oct 2002 10:01:01 -0400 -From: root -To: axiom-developer@mail.freesoftware.fsf.org +From: Tim Daly +To: list Subject: [Axiom-developer] [acn1@cam.ac.uk: Re: atan2] ------- Start of forwarded message ------- Date: Mon, 14 Oct 2002 07:55:56 +0100 (BST) -From: "Dr A.C. Norman" -X-Sender: acn1@virgo.cus.cam.ac.uk -To: root +From: Arthur Norman +To: Tim Daly Subject: Re: atan2 -In-Reply-To: <200210140203.g9E23tq11242@localhost.localdomain> -Content-Type: TEXT/PLAIN; charset=US-ASCII -Sender: "Dr A.C. Norman" -X-RAVMilter-Version: 8.3.1(snapshot 20020109) (mail.idsi.net) -X-UIDL: EVp!!3ea"!X<'"!6pT!! On Sun, 13 Oct 2002, root wrote: @@ -52,20 +45,17 @@ get started than I had hoped! Arthur ------- End of forwarded message ------- - - \start Date: Mon, 14 Oct 2002 10:42:29 -0400 -From: root -To: axiom-developer@mail.freesoftware.fsf.org +From: Tim Daly +To: list Subject: [Axiom-developer] [acn1@cam.ac.uk: Re: atan2] ------- Start of forwarded message ------- Date: Mon, 14 Oct 2002 07:54:54 -0400 -From: root -To: acn1@cam.ac.uk +From: Tim Daly +To: Arthur Norman Subject: [axiom] atan2 -Reply-to: daly@idsi.net (god, how i love emacs. my system crashed hard while i was typing this and not one word of my immortal prose was lost.) @@ -218,8 +208,8 @@ Tim \start Date: Mon, 14 Oct 2002 17:06:08 -0400 -From: root -To: Arthur Norman , axiom-developer@mail.freesoftware.fsf.org +From: Tim Daly +To: Arthur Norman Subject: [Axiom-developer] [axiom] Makefile conventions Arthur, @@ -333,14 +323,10 @@ By convention the first line in a stanza echos what the stanza does. All other operations in the stanza are quiet (have a preceeding '@') This is useful for quickly finding where a build failed. -Tim - - - \start Date: Mon, 14 Oct 2002 21:00:41 -0400 -From: root -To: Norman Ramsey , axiom-developer@mail.freesoftware.fsf.org +From: Tim Daly +To: Norman Ramsey Subject: [Axiom-developer] [axiom] Axiom and noweb Norman, @@ -371,8 +357,8 @@ daly@idsi.net \start Date: Tue, 15 Oct 2002 17:07:26 -0400 -From: root -To: nr@eecs.harvard.edu, axiom-developer@mail.freesoftware.fsf.org +From: Tim Daly +To: Norman Ramsey Subject: [Axiom-developer] Re: [axiom] Axiom and noweb >Tim, @@ -448,8 +434,8 @@ Tim \start Date: Wed, 23 Oct 2002 21:00:07 -0400 -From: Camm Maguire -To: axiom-developer@nongnu.org +From: Camm Maguire +To: list Subject: [Axiom-developer] source Greetings! I just saw this list recently setup and looked over the @@ -458,8 +444,8 @@ I cannot find it anywhere. Is there any status update? \start Date: Wed, 23 Oct 2002 21:30:27 -0400 -From: root -To: camm@enhanced.com, axiom-developer@nongnu.org +From: Tim Daly +To: Camm Maguire Subject: Re: [Axiom-developer] source Camm, @@ -479,8 +465,8 @@ Tim \start Date: Fri, 25 Oct 2002 18:30:50 -0400 -From: root -To: morelli@cs.utah.edu, axiom-developer@nongnu.org +From: Tim Daly +To: Robert Morelli Subject: [Axiom-developer] Re: Axiom Development > Robert Morelli wrote: @@ -509,8 +495,8 @@ Tim \start Date: Sat, 26 Oct 2002 11:13:11 -0400 -From: root -To: toffin@math.unicaen.fr, axiom-developer@nongnu.org +From: Tim Daly +To: Philippe Toffin Subject: Re: [Axiom-developer] Axiom Development >Philippe Toffin wrote: @@ -609,13 +595,13 @@ P.S. Your english is fine. \start Date: 28 Oct 2002 10:05:50 -0500 -From: Camm Maguire -To: daly@idsi.net +From: Camm Maguire +To: Tim Daly Subject: Re: [Axiom-developer] source Greetings! -root writes: +Tim Daly writes: > Camm, > @@ -650,8 +636,8 @@ Thanks for your work with axiom! \start Date: Mon, 28 Oct 2002 17:25:09 -0500 -From: root -To: camm@enhanced.com, axiom-developer@nongnu.org, gcl-devel@gnu.org +From: Tim Daly +To: Camm Maguire Subject: [Axiom-developer] [Axiom] source Camm, @@ -684,8 +670,8 @@ Tim \start Date: Mon, 28 Oct 2002 18:28:16 -0500 -From: root -To: morelli@cs.utah.edu, axiom-developer@nongnu.org +From: Tim Daly +To: Robert Morelli Subject: [Axiom-developer] [axiom] Axiom Development >In a nutshell, I'm interested in many aspects of the AXIOM project but @@ -890,8 +876,8 @@ Tim \start Date: Tue, 29 Oct 2002 19:45:52 -0500 -From: root -To: Norman Ramsey , axiom-developer@nongnu.org +From: Tim Daly +To: Norman Ramsey Subject: [Axiom-developer] Catch 22 Norman, @@ -934,8 +920,8 @@ Tim \start Date: Tue, 29 Oct 2002 23:14:28 -0500 -From: root -To: nr@eecs.harvard.edu, axiom-developer@nongnu.org +From: Tim Daly +To: Norman Ramsey Subject: [Axiom-developer] Re: Catch 22 I played with your suggestion of using bundle and distributing @@ -976,8 +962,8 @@ Tim \start Date: Thu, 31 Oct 2002 23:23:33 -0500 -From: root -To: bill.page1@sympatico.ca, axiom-developer@nongnu.org +From: Tim Daly +To: Bill Page Subject: [Axiom-developer] Re: [Axiom-mail] Status Actually, I have no estimate. The key to the game is to get the lisp @@ -1006,4 +992,3 @@ What is your background? Programmer? Mathematician? What area of Axiom strikes your interest? Tim - diff --git a/book/2002-11.txt b/book/2002-11.txt index d1f7fb7..87ed2ad 100644 --- a/book/2002-11.txt +++ b/book/2002-11.txt @@ -1,9 +1,8 @@ - \start Date: Fri, 1 Nov 2002 11:48:42 -0500 -From: root -To: Bill Page , Robert Morelli , Philippe Toffin , axiom-developer@nongnu.org -Subject: [Axiom-developer] [Axiom-mail] +From: Tim Daly +To: Bill Page, Robert Morelli, Philippe Toffin +Subject: Axiom-mail Gentlemen, @@ -33,9 +32,9 @@ Thanks for volunteering. \start Date: Fri, 1 Nov 2002 16:54:21 -0500 -From: Bill Page -To: -Subject: [Axiom-developer] Re: [Axiom-mail] +From: Bill Page +To: list +Subject: Re: Axiom-mail Hello everyone, @@ -78,9 +77,9 @@ it is advisable? \start Date: Fri, 1 Nov 2002 21:57:49 -0500 -From: root -To: Bill Page , Robert Morelli , Philippe Toffin , axiom-developer@nongnu.org -Subject: [Axiom-developer] Re: [Axiom-mail] Status +From: Tim Daly +To: Bill Page, Robert Morelli, Philippe Toffin +Subject: Re: Status All, @@ -254,9 +253,9 @@ C and Makefile in the same pamphlet file. \start Date: Sun, 3 Nov 2002 22:10:06 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] examples +From: Bill Page +To: Tim Daly +Subject: examples Tim, @@ -274,14 +273,6 @@ Thanks. Bill Page. > -----Original Message----- -> From: axiom-mail-admin@nongnu.org -> [mailto:axiom-mail-admin@nongnu.org] On Behalf Of root -> Sent: Friday, November 01, 2002 9:58 PM -> To: Bill Page; Robert Morelli; Philippe Toffin; -> axiom-developer@nongnu.org -> Cc: daly@idsi.net; axiom-mail@nongnu.org -> Subject: Re: [Axiom-mail] Status -> > > All, > @@ -471,9 +462,9 @@ Bill Page. \start Date: Sun, 3 Nov 2002 21:57:20 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: examples +From: Tim Daly +To: Bill Page +Subject: Re: examples Excellent. Rumor has it that CCL will run under windows and cygwin so you might end up taking the lead in applying fixes and testing those @@ -482,9 +473,9 @@ comes out we can see what the windows and cygwin issues are. \start Date: Mon, 4 Nov 2002 17:48:52 -0500 -From: Bill Page -To: -Subject: Re: [Axiom-developer] Re: examples +From: Bill Page +To: Tim Daly +Subject: Re: Re: examples Tim, @@ -505,11 +496,10 @@ Regards, Bill Page. > -> From: root +> From: Tim Daly > Date: 2002/11/03 Sun PM 09:57:20 EST -> To: bill.page1@sympatico.ca -> CC: daly@idsi.net, axiom-developer@nongnu.org -> Subject: [Axiom-developer] Re: examples +> To: Bill Page +> Subject: Re: examples > > Excellent. Rumor has it that CCL will run under windows and cygwin so > you might end up taking the lead in applying fixes and testing those @@ -518,9 +508,9 @@ Bill Page. \start Date: Mon, 4 Nov 2002 18:13:28 -0500 -From: Bill Page -To: -Subject: Re: [Axiom-developer] Re: examples +From: Bill Page +To: Tim Daly +Subject: Re: Re: examples Tim, @@ -539,11 +529,11 @@ already noticed that this is now available but no one mentions any notice or statement from Codemist. > -> From: root +> From: Tim Daly > Date: 2002/11/03 Sun PM 09:57:20 EST > To: bill.page1@sympatico.ca > CC: daly@idsi.net, axiom-developer@nongnu.org -> Subject: [Axiom-developer] Re: examples +> Subject: Re: examples > > Excellent. Rumor has it that CCL will run under windows and cygwin so > you might end up taking the lead in applying fixes and testing those @@ -554,9 +544,9 @@ mentions any notice or statement from Codemist. \start Date: Mon, 4 Nov 2002 19:44:29 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] ccl.tgz +From: Tim Daly +To: Bill Page +Subject: ccl.tgz re: http://www.codemist.co.uk/ccl.tgz @@ -603,9 +593,9 @@ Tim \start Date: Mon, 4 Nov 2002 21:26:45 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] AIM Instant Message +From: Tim Daly +To: Bill Page +Subject: AIM Instant Message I've registered with the AOL Instant Messenger service under the screen name of "gnuaxiom". If you have access to this @@ -613,9 +603,9 @@ service try adding me to your buddy list. \start Date: Mon, 4 Nov 2002 19:55:37 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] ccl.tgz +From: Tim Daly +To: Bill Page +Subject: ccl.tgz When you've succeeded doing a CVS checkout I think we should figure out a mechanism where we can instant message each other (and any other @@ -625,9 +615,9 @@ time it takes to communicate. \start Date: Tue, 5 Nov 2002 06:34:08 -0500 -From: root -To: toffin@math.unicaen.fr -Subject: Re: [Axiom-developer] Axiom Development +From: Tim Daly +To: Philippe Toffin +Subject: Re: Axiom Development > Daly, > @@ -673,9 +663,9 @@ write access to the source but you can read it. \start Date: Tue, 5 Nov 2002 06:23:41 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: list of developers +From: Tim Daly +To: Bill Page +Subject: Re: list of developers > Bill Page wrote: > @@ -754,8 +744,8 @@ won't run Axiom. \start Date: Wed, 6 Nov 2002 12:25:34 -0500 From: Bill Page -To: -Subject: Re: [Axiom-developer] ccl.tgz +To: Tim Daly +Subject: Re: ccl.tgz Tim, @@ -815,13 +805,11 @@ documented noweb version of this stuff. Cheers, Bill Page. - > -> From: root +> From: Tim Daly > Date: 2002/11/04 Mon PM 07:55:37 EST -> To: bill.page1@sympatico.ca -> CC: daly@idsi.net, axiom-developer@nongnu.org -> Subject: [Axiom-developer] ccl.tgz +> To: Bill Page +> Subject: ccl.tgz > > When you've succeeded doing a CVS checkout I think we should figure > out a mechanism where we can instant message each other (and any other @@ -831,9 +819,9 @@ Bill Page. \start Date: Wed, 6 Nov 2002 12:52:41 -0500 -From: Bill Page -To: -Subject: Re: [Axiom-developer] AIM Instant Message +From: Bill Page +To: Tim Daly +Subject: Re: AIM Instant Message Tim, @@ -861,11 +849,10 @@ Regards, Bill Page. > -> From: root > Date: 2002/11/04 Mon PM 09:26:45 EST -> To: bill.page1@sympatico.ca -> CC: daly@idsi.net, axiom-developer@nongnu.org -> Subject: [Axiom-developer] AIM Instant Message +> From: Tim Daly +> To: Bill Page +> Subject: AIM Instant Message > > I've registered with the AOL Instant Messenger service under > the screen name of "gnuaxiom". If you have access to this @@ -873,9 +860,9 @@ Bill Page. \start Date: Thu, 7 Nov 2002 00:16:36 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: Re: [Axiom-developer] AIM Instant Message +From: Tim Daly +To: Bill Page +Subject: Re: AIM Instant Message Bill, I've uploaded the latest version to tenkan. @@ -884,10 +871,10 @@ set up with access so we can experiment with working together. \start Date: Thu, 7 Nov 2002 00:14:27 -0500 -From: root -To: daly@idsi.net -Subject: Re: [Axiom-developer] Axiom Development -CC: toffin@math.unicaen.fr +From: Tim Daly +To: list +Subject: Re: Axiom Development +CC: Philippe Toffin Philippe, @@ -896,9 +883,9 @@ I had a surprise presentation I have to set up for a meeting today. \start Date: Thu, 7 Nov 2002 00:24:49 -0500 -From: root -To: A.G.Grozin@inp.nsk.su -Subject: [Axiom-developer] clef +From: Tim Daly +To: Andrej Grozin +Subject: clef clef is a single program. the source (without the include files) is attached. let me know if you need more. @@ -1559,9 +1546,9 @@ set_function_chars(void) \start Date: Thu, 7 Nov 2002 09:06:41 -0500 -From: "Bill Page" -To: -Subject: RE: [Axiom-developer] AIM Instant Message +From: Bill Page +To: list +Subject: RE: AIM Instant Message Tim, @@ -1577,9 +1564,9 @@ can make it work. \start Date: Thu, 7 Nov 2002 09:50:00 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] CVS access +From: Bill Page +To: list +Subject: CVS access Tim, @@ -1659,9 +1646,9 @@ On Wednesday, November 06, 2002 12:26 PM I wrote: \start Date: Thu, 7 Nov 2002 11:32:21 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] NAG demo version of AXIOM - flexlm license? +From: Bill Page +To: list +Subject: NAG demo version of AXIOM - flexlm license? Tim, @@ -1714,10 +1701,9 @@ What do you think? \start Date: Thu, 7 Nov 2002 17:13:53 +0000 -From: Mike Dewar -To: Bill Page -Subject: Re: [Axiom-developer] NAG demo version of AXIOM - flexlm license? -Cc: Mike Dewar +From: Mike Dewar +To: Bill Page +Subject: Re: NAG demo version of AXIOM - flexlm license? Dear Bill, @@ -1796,9 +1782,9 @@ On Thu, Nov 07, 2002 at 11:32:21AM -0500, Bill Page wrote: \start Date: Thu, 7 Nov 2002 12:56:42 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] RE: CVS access +From: Bill Page +To: list +Subject: RE: CVS access Tim, @@ -1849,9 +1835,9 @@ you are registered as a developer. \start Date: Thu, 7 Nov 2002 16:15:29 -0500 -From: root -To: acn1@cam.ac.uk -Subject: [Axiom-developer] Re: posting CCL +From: Tim Daly +To: Arthur Norman +Subject: Re: posting CCL Arthur, @@ -1934,18 +1920,18 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. \start Date: Thu, 7 Nov 2002 17:22:34 -0500 -From: root -To: daly@idsi.net -Subject: Re: [Axiom-developer] Re: posting CCL -CC: acn1@cam.ac.uk +From: Tim Daly +To: list +Subject: Re: Re: posting CCL +CC: Arthur Norman The CVS tree has been updated with your change. -- Tim \start Date: Thu, 7 Nov 2002 18:03:30 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: CVS access +From: Tim Daly +To: Bill Page +Subject: Re: CVS access Bill, @@ -1958,9 +1944,9 @@ code as anonymous and it worked. \start Date: Thu, 7 Nov 2002 18:01:23 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: CVS access +From: Tim Daly +To: Bill Page +Subject: Re: CVS access Bill, @@ -1968,9 +1954,9 @@ Check that your shell variable CVS_RSH is set to "ssh". \start Date: Thu, 7 Nov 2002 18:20:16 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: NAG demo version of AXIOM - flexlm license? +From: Tim Daly +To: Bill Page +Subject: Re: NAG demo version of AXIOM - flexlm license? Bill, @@ -1995,9 +1981,9 @@ All I can counsel is patience. \start Date: Thu, 7 Nov 2002 18:27:36 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: CVS access +From: Tim Daly +To: Bill Page +Subject: Re: CVS access Sigh. Actually, I was mistaken in my anonymous test which is unrelated to the CVS_RSH shell variable. However, setting this variable should @@ -2005,9 +1991,9 @@ cure the problem. If not, let me know. \start Date: Thu, 7 Nov 2002 19:07:44 -0500 -From: "Bill Page" -To: -Subject: RE: [Axiom-developer] Re: NAG demo version of AXIOM - flexlm license? +From: Bill Page +To: list +Subject: Re: NAG demo version of AXIOM - flexlm license? Tim, @@ -2035,9 +2021,9 @@ indeed! \start Date: Thu, 7 Nov 2002 18:47:15 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: CVS access +From: Tim Daly +To: Bill Page +Subject: Re: CVS access Ummm, that would make no sense so we must be missing something. Why would an anonymous user be able to check out the source tree @@ -2047,9 +2033,9 @@ I'll create another id and try it from there. \start Date: Thu, 7 Nov 2002 19:07:46 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: CVS access +From: Tim Daly +To: Bill Page +Subject: Re: CVS access I've created a new userid, new key pair and registered a new key. I noticed in the process that there is a checkbox on the @@ -2059,9 +2045,9 @@ In any case, I'll let you know how I solve this. \start Date: Thu, 7 Nov 2002 18:54:35 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] RE: CVS access +From: Bill Page +To: list +Subject: RE: CVS access Tim, @@ -2136,9 +2122,9 @@ check code in. \start Date: Thu, 7 Nov 2002 21:01:07 -0500 -From: root -To: bill.page1@sympatico.ca, miked@nag.co.uk, rubey@labri.fr, toffin@math.unicaen.fr, axiom-developer@nongnu.org, tim@tenkan.org -Subject: [Axiom-developer] accounts on tenkan +From: Tim Daly +To: Bill Page, Mike Dewar, Martin Rubey, Philippe Toffin, Tim Daly Jr. +Subject: accounts on tenkan Please send a note to tim@tenkan.org (no, it is not me) and tell him your preferred userid and password. He will @@ -2148,18 +2134,18 @@ sandbox" until we work out the coordination issues. \start Date: Fri, 8 Nov 2002 06:47:37 -0500 -From: root -To: bill.page1@sympatico.ca, axiom-developer@nongnu.org -Subject: [Axiom-developer] AIM +From: Tim Daly +To: Bill Page +Subject: AIM We can't use the AIM client. Somebody broke into my box last night thru that door. Sigh. \start Date: Fri, 8 Nov 2002 10:23:44 -0500 -From: "Bill Page" -To: , -Subject: [Axiom-developer] RE: AIM +From: Bill Page +To: list +Subject: RE: AIM Tim, @@ -2177,9 +2163,9 @@ at home. Bill. > -----Original Message----- -> From: root [mailto:daly@idsi.net] +> From: Tim Daly [mailto:daly@idsi.net] > Sent: Friday, November 08, 2002 6:48 AM -> To: bill.page1@sympatico.ca; axiom-developer@nongnu.org +> To: Bill Page; axiom-developer@nongnu.org > Subject: AIM > > @@ -2188,9 +2174,9 @@ Bill. \start Date: Mon, 11 Nov 2002 22:28:44 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: accounts on tenkan +From: Tim Daly +To: Bill Page +Subject: Re: accounts on tenkan CC: tim@tenkan.org @@ -2312,9 +2298,9 @@ exceptional at responding (vdhoeven@texmacs.org). Andrey G. Grozin \start Date: Mon, 11 Nov 2002 23:09:09 -0500 -From: root -To: "Bill Page" -Subject: [Axiom-developer] documentation +From: Tim Daly +To: Bill Page +Subject: documentation Oh, right. I forgot to mention that you can type: cd axiom/new/new @@ -2337,9 +2323,9 @@ trees. \start Date: Tue, 12 Nov 2002 20:50:41 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: first steps +From: Tim Daly +To: Bill Page +Subject: Re: first steps well, THAT went poorly :-) @@ -2717,9 +2703,9 @@ I might do to make make work a little better. \start Date: Tue, 12 Nov 2002 21:02:47 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] First steps, part-dieu +From: Tim Daly +To: Bill Page +Subject: First steps, part-dieu Ok, I mistyped: @@ -2738,9 +2724,9 @@ find a different method for creating the /usr/X11R6/include/X11 files. \start Date: Tue, 12 Nov 2002 22:33:07 -0500 -From: Bill Page -To: -Subject: [Axiom-developer] Re: first steps +From: Bill Page +To: list +Subject: Re: first steps Tim, @@ -2875,9 +2861,9 @@ Yes, it helped a lot. I let you know how I progress. \start Date: Tue, 12 Nov 2002 22:28:01 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: first steps +From: Tim Daly +To: Bill Page +Subject: Re: first steps Touching any pamphlet file will cause it to be rebuilt during the make. This requires noweb to exist. @@ -2912,9 +2898,9 @@ and the notangle, noweave and document commands should exist. \start Date: Fri, 15 Nov 2002 20:32:11 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] making ccl on cygwin +From: Bill Page +To: list +Subject: making ccl on cygwin Tim, @@ -2955,9 +2941,9 @@ What do you think? \start Date: Fri, 15 Nov 2002 20:50:39 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: making ccl on cygwin +From: Tim Daly +To: Bill Page +Subject: Re: making ccl on cygwin Bill, @@ -3000,9 +2986,9 @@ should be much easier. \start Date: Fri, 15 Nov 2002 21:51:50 -0500 -From: root -To: bill.page@sympatico.ca -Subject: [Axiom-developer] document command +From: Tim Daly +To: Bill Page +Subject: document command How are you at writing bash shell scripts? @@ -3045,9 +3031,9 @@ If not, I'll look at it. \start Date: Sat, 16 Nov 2002 12:36:39 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] bash script +From: Tim Daly +To: Bill Page +Subject: bash script re: bash script. @@ -3067,9 +3053,9 @@ i can react to it better. sigh) \start Date: Sun, 17 Nov 2002 18:00:55 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] RE: making ccl on cygwin +From: Bill Page +To: list +Subject: RE: making ccl on cygwin Tim, @@ -3162,18 +3148,18 @@ I am looking forward to that! \start Date: Sun, 17 Nov 2002 18:04:18 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: making ccl on cygwin +From: Tim Daly +To: Bill Page +Subject: Re: making ccl on cygwin I'm uploading and cleaning the cvs at the moment. I'll answer shortly. \start Date: Sun, 17 Nov 2002 19:42:38 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: making ccl on cygwin +From: Tim Daly +To: Bill Page +Subject: Re: making ccl on cygwin I've uploaded the machinery to build bootsys. @@ -3251,9 +3237,9 @@ delete directories. \start Date: Mon, 18 Nov 2002 09:36:10 +0000 -From: Mike Dewar -To: Bill Page -Subject: Re: [Axiom-developer] making ccl on cygwin +From: Mike Dewar +To: Bill Page +Subject: Re: making ccl on cygwin Hi Bill, @@ -3315,9 +3301,9 @@ On Fri, Nov 15, 2002 at 08:32:11PM -0500, Bill Page wrote: \start Date: Mon, 18 Nov 2002 08:55:43 -0500 -From: root -To: Norman Ramsey -Subject: [Axiom-developer] [axiom] Undefined Chunks behavior +From: Tim Daly +To: Norman Ramsey +Subject: Undefined Chunks behavior Norman, @@ -3337,9 +3323,9 @@ a place where I could look to apply this change? \start Date: Mon, 18 Nov 2002 10:36:01 -0500 -From: root -To: nr@eecs.harvard.edu -Subject: [Axiom-developer] Re: [axiom] Undefined Chunks behavior +From: Tim Daly +To: Norman Ramsey +Subject: Re: Undefined Chunks behavior Thanks. I'll look at the filter technique. Sort of a "do no harm" default. @@ -3350,9 +3336,9 @@ miss an undefined chunk message. \start Date: Mon, 18 Nov 2002 10:25:47 -0500 -From: Norman Ramsey -To: daly@idsi.net -Subject: Re: [axiom] Undefined Chunks behavior +From: Norman Ramsey +To: Tim Daly +Subject: Re: Undefined Chunks behavior You could write a noweb filter to do this easily enough, but the `correct', sanctioned way to solve this problem is to @@ -3364,9 +3350,9 @@ N \start Date: Mon, 18 Nov 2002 20:35:36 -0500 -From: root -To: nr@eecs.harvard.edu -Subject: Re: [Axiom-developer] Re: [axiom] Undefined Chunks behavior +From: Tim Daly +To: Norman Ramsey +Subject: Re: Undefined Chunks behavior Actually, it appears that the correct fix is to modify modules.c (line 201 in modules.nw, line 117 in modules.c) to create a new, @@ -3377,9 +3363,9 @@ I don't see how to do this with filters. Perhaps I'm missing something. \start Date: Mon, 18 Nov 2002 22:54:08 -0500 -From: root -To: nr@eecs.harvard.edu -Subject: [Axiom-developer] [axiom] Undefined Chunks behavior +From: Tim Daly +To: Norman Ramsey +Subject: Undefined Chunks behavior Norman, @@ -3707,9 +3693,9 @@ Tim \start Date: Tue, 19 Nov 2002 2:32:19 -0500 -From: Bill Page -To: , -Subject: [Axiom-developer] visual literate programming +From: Bill Page +To: Joris van der Hoeven +Subject: visual literate programming CC: Tim and Joris, @@ -3736,14 +3722,7 @@ with Jorix van der Hoeven of last June. --------- -\start -Date: Sat, 1 Jun 2002 11:51:06 +0200 (MET DST) -From: Joris van der Hoeven -To: root -Subject: Re: [axiom] Axiom website updated -Cc: texmacs-dev@gnu.org, "Nicolas M. Thiery" , Dylan Thurston , Philippe Toffin , Barry Trager , Carlo Traverso , Theodore Thomas Tsikas , "Gioia M. Vago" , Joris van der Hoeven , Leonid Vaserstein , Nikolay Vassiliev - -On Fri, 31 May 2002, root wrote: +On Fri, 31 May 2002, Tim Daly wrote: > Axiom's website has been updated > http://home.earthlink.net/~jgg964/axiom.html @@ -3786,9 +3765,9 @@ any other places on the web to look for this kind of work? \start Date: Tue, 19 Nov 2002 6:20:19 -0500 -From: Bill Page -To: -Subject: [Axiom-developer] new Makefile.pamphlet problems +From: Bill Page +To: list +Subject: new Makefile.pamphlet problems Tim, @@ -3825,9 +3804,9 @@ as expected. \start Date: Tue, 19 Nov 2002 06:33:24 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: new Makefile.pamphlet problems +From: Tim Daly +To: Bill Page +Subject: Re: new Makefile.pamphlet problems Bill, @@ -3857,9 +3836,9 @@ Keep up the good work. \start Date: Tue, 19 Nov 2002 07:03:02 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Makefile.pamphlet +From: Tim Daly +To: Bill Page +Subject: Makefile.pamphlet Bill, @@ -3888,9 +3867,9 @@ Gotta go... \start Date: Tue, 19 Nov 2002 07:18:04 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Makefile.pamphlet +From: Tim Daly +To: Bill Page +Subject: Makefile.pamphlet Bill, @@ -3920,9 +3899,9 @@ FIRST BUILD, src and int are assumed read-only. \start Date: Tue, 19 Nov 2002 20:13:32 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] visual literate programming +From: Tim Daly +To: Bill Page +Subject: visual literate programming CC: Joris.VanDerHoeven@math.u-psud.fr, texmacs-dev@gnu.org Bill and Joris, @@ -3957,9 +3936,9 @@ I really would like to make literate programs be the only \start Date: Tue, 19 Nov 2002 20:26:39 -0500 -From: root -To: nr@eecs.harvard.edu -Subject: [Axiom-developer] [axiom] Undefined Chunks behavior +From: Tim Daly +To: Norman Ramsey +Subject: Undefined Chunks behavior re: awk filter. @@ -4029,10 +4008,10 @@ What this problem needs is ten lines of awk. Here's your noweb filter: \start Date: Wed, 20 Nov 2002 12:31:07 +0100 (MET) -From: Joris van der Hoeven -To: texmacs-dev@gnu.org -Subject: Re: [Texmacs-dev] [Axiom-developer] visual literate programming -Cc: bill.page1@sympatico.ca, Joris.VanDerHoeven@math.u-psud.fr +From: Joris van der Hoeven +To: list +Subject: Re: [Texmacs-dev] visual literate programming +Cc: Bill Page, Joris van der Hoeven Hi Tim, @@ -4082,14 +4061,14 @@ Indeed. \start Date: Wed, 20 Nov 2002 07:36:39 -0500 -From: root -To: TeXmacs@math.u-psud.fr -Subject: [Axiom-developer] (no subject) -CC: texmacs-dev@gnu.org, bill.page1@sympatico.ca, Joris.VanDerHoeven@math.u-psud.fr +From: Tim Daly +To: list +Subject: (no subject) +CC: Bill Page, Joris van der Hoeven In-reply-to: (message from Joris van der Hoeven on Wed, 20 Nov 2002 12:31:07 +0100 (MET)) -Subject: Re: [Texmacs-dev] [Axiom-developer] visual literate programming +Subject: Re: [Texmacs-dev] visual literate programming Reply-to: daly@idsi.net References: --text follows this line-- @@ -4129,10 +4108,9 @@ that properly handle noweb vanilla output would be quite useful. \start Date: Wed, 20 Nov 2002 11:40:05 -0500 -From: Bill Page -To: -Subject: [Axiom-developer] Re: GCL on Cygwin for Axiom -CC: +From: Bill Page +To: list +Subject: Re: GCL on Cygwin for Axiom Tim, @@ -4185,9 +4163,9 @@ getting the missing unexnt.c file from the newest version of GCL and using it with the older version. I will let you know how far this one goes. -> From: root +> From: Tim Daly > Date: 2002/11/20 Wed AM 07:15:24 EST -> To: bill.page1@sympatico.ca +> To: Bill Page > CC: schelter@mail.ma.utexas.edu, daly@idsi.net > Subject: Re: GCL on Cygwin for Axiom > @@ -4201,9 +4179,9 @@ know how far this one goes. \start Date: Wed, 20 Nov 2002 17:54:05 +0100 (CET) -From: Martin RUBEY -To: Bill Page -Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom +From: Martin Rubey +To: Bill Page +Subject: Re: GCL on Cygwin for Axiom > 3) There is a "pre-release" version of GCL posted at the @@ -4212,7 +4190,7 @@ Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom > Perhaps that is where I will try to go next. I think this is the way to go. And I think that Mike Thomas - is the one to ask, if there are Windows +is the one to ask, if there are Windows Problems. There is a Mingw binary availaible on ftp://ftp.gnu.org/pub/gnu/gcl/cvs/ @@ -4226,10 +4204,10 @@ http://mail.gnu.org/pipermail/gcl-devel/2002-September/001084.html \start Date: Wed, 20 Nov 2002 12:13:19 -0500 -From: Bill Page -To: Martin RUBEY -Subject: [Axiom-developer] Re: GCL on Cygwin for Axiom -CC: +From: Bill Page +To: Martin Rubey +Subject: Re: GCL on Cygwin for Axiom +CC: Mike Thomas On 2002/11/20 Wed AM 11:54:05 EST Martin RUBEY wrote: @@ -4241,7 +4219,7 @@ On 2002/11/20 Wed AM 11:54:05 EST Martin RUBEY > > Perhaps that is where I will try to go next. > > I think this is the way to go. And I think that Mike -> Thomas is the one to +> Thomas Mike Thomas is the one to > ask, if there are Windows Problems. There is a Mingw > binary availaible on > ftp://ftp.gnu.org/pub/gnu/gcl/cvs/ @@ -4265,19 +4243,19 @@ hacker than I am! \start Date: Wed, 20 Nov 2002 12:22:05 -0500 -From: Bill Page -To: -Subject: [Axiom-developer] Re: GCL on Cygwin for Axiom -CC: +From: Bill Page +To: list +Subject: Re: GCL on Cygwin for Axiom +CC: Mike Thomas Background. > -> From: Bill Page +> From: Bill Page > Date: 2002/11/20 Wed AM 11:40:05 EST -> To: +> To: > CC: , -> Subject: [Axiom-developer] Re: GCL on Cygwin for Axiom +> Subject: Re: GCL on Cygwin for Axiom > > Tim, > @@ -4334,9 +4312,9 @@ Background. > Bill Page. > > > -> > From: root +> > From: Tim Daly > > Date: 2002/11/20 Wed AM 07:15:24 EST -> > To: bill.page1@sympatico.ca +> > To: Bill Page > > CC: schelter@mail.ma.utexas.edu, daly@idsi.net > > Subject: Re: GCL on Cygwin for Axiom > > @@ -4359,10 +4337,10 @@ Background. > > -> From: Bill Page +> From: Bill Page > Date: 2002/11/20 Wed AM 04:03:37 EST > To: -> CC: +> CC: > Subject: GCL on Cygwin for Axiom > > Dr. Schelter; @@ -4400,10 +4378,10 @@ Background. \start Date: Wed, 20 Nov 2002 16:17:10 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom -CC: rubey@labri.fr, miketh@brisbane.paradigmgeo.com +From: Tim Daly +To: Bill Page +Subject: Re: GCL on Cygwin for Axiom +CC: Martin Rubey, Mike Thomas re: trivial port of gcl.... @@ -4414,9 +4392,9 @@ this whole issue on AIX for the RS/6000. \start Date: Wed, 20 Nov 2002 13:09:23 -0500 -From: Bill Page -To: -Subject: [Axiom-developer] GCL on Cygwin for Axiom +From: Bill Page +To: list +Subject: GCL on Cygwin for Axiom Hello, @@ -4439,10 +4417,10 @@ that's another issue). \start Date: Wed, 20 Nov 2002 16:45:25 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom -CC: wfs@mail.ma.utexas.edu, Camm Maguire +From: Tim Daly +To: Bill Page +Subject: Re: Re: GCL on Cygwin for Axiom +CC: Bill Schelter, Camm Maguire > Damn. I am sorry to hear that Schelter is not still > available. I guess the Internet hasn't quite progressed to @@ -4535,9 +4513,9 @@ some thought to the CCL issue. \start Date: Thu, 21 Nov 2002 09:30:04 +1000 -From: "Mike Thomas" -To: "Bill Page" , "Martin RUBEY" -Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom +From: Mike Thomas +To: Bill Page, Martin Rubey +Subject: Re: GCL on Cygwin for Axiom Hi there. @@ -4550,18 +4528,18 @@ the job!!! \start Date: Thu, 21 Nov 2002 09:51:31 +1000 -From: "Mike Thomas" -To: -Subject: Fw: [Axiom-developer] Re: GCL on Cygwin for Axiom +From: Mike Thomas +To: list +Subject: Re: GCL on Cygwin for Axiom My first attempt bounced from axiom-developer even though the other went through?? ----- Original Message ----- -From: "Mike Thomas" -To: ; +From: "Mike Thomas" Mike Thomas +To: ; Date: Thursday, November 21, 2002 9:25 AM -Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom +Subject: Re: Re: GCL on Cygwin for Axiom Cc: @@ -4654,9 +4632,9 @@ compiler \start Date: Wed, 20 Nov 2002 19:46:04 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] gcl 2.4.3 +From: Tim Daly +To: Bill Page +Subject: gcl 2.4.3 Bill, @@ -4666,9 +4644,9 @@ tenkan cvs with the new version shortly. \start Date: Wed, 20 Nov 2002 20:12:16 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] gcl 2.4.3 +From: Tim Daly +To: Bill Page +Subject: gcl 2.4.3 Bill, @@ -4678,9 +4656,9 @@ Until then lets stick with 2.4.1 \start Date: Wed, 20 Nov 2002 20:29:59 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] gcl 2.4.3 +From: Tim Daly +To: Bill Page +Subject: gcl 2.4.3 Bill, @@ -4693,10 +4671,10 @@ What is the result of this test? (gcc -v | fgrep ming) \start Date: 20 Nov 2002 20:30:35 -0500 -From: Camm Maguire -To: Bill Page -Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom -Cc: +From: Camm Maguire +To: Bill Page +Subject: Re: GCL on Cygwin for Axiom +Cc: Mike Thomas Greetings! Allow me a futile attempt at an adequate answer on behalf of the late Dr. Schelter: @@ -4798,16 +4776,16 @@ Take care, -Bill Page writes: +Bill Page writes: > Background. > > > -> > From: Bill Page +> > From: Bill Page > > Date: 2002/11/20 Wed AM 11:40:05 EST -> > To: +> > To: > > CC: , -> > Subject: [Axiom-developer] Re: GCL on Cygwin for Axiom +> > Subject: Re: GCL on Cygwin for Axiom > > > > Tim, > > @@ -4864,9 +4842,9 @@ Bill Page writes: > > Bill Page. > > > > > -> > > From: root +> > > From: Tim Daly > > > Date: 2002/11/20 Wed AM 07:15:24 EST -> > > To: bill.page1@sympatico.ca +> > > To: Bill Page > > > CC: schelter@mail.ma.utexas.edu, daly@idsi.net > > > Subject: Re: GCL on Cygwin for Axiom > > > @@ -4889,10 +4867,10 @@ Bill Page writes: > > > > > -> > From: Bill Page +> > From: Bill Page > > Date: 2002/11/20 Wed AM 04:03:37 EST > > To: -> > CC: +> > CC: > > Subject: GCL on Cygwin for Axiom > > > > Dr. Schelter; @@ -4930,19 +4908,19 @@ Bill Page writes: \start Date: Wed, 20 Nov 2002 20:46:30 -0500 -From: root -To: camm@enhanced.com -Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom -CC: bill.page1@sympatico.ca, miketh@brisbane.paradigmgeo.com +From: Tim Daly +To: Camm Maguire +Subject: Re: GCL on Cygwin for Axiom +CC: Bill Page, Mike Thomas Ok, I'll try 2.5 and see if that builds. \start Date: Wed, 20 Nov 2002 21:37:49 -0500 -From: root -To: camm@enhanced.com, bill.page1@sympatico.ca -Subject: [Axiom-developer] _BOOL problem in GCL 2.4.3 for GCC 2.96 -CC: miketh@brisbane.paradigmgeo.com +From: Tim Daly +To: Camm Maguire, Bill Page +Subject: _BOOL problem in GCL 2.4.3 for GCC 2.96 +CC: Mike Thomas Camm, @@ -4995,10 +4973,10 @@ Tim \start Date: Wed, 20 Nov 2002 21:41:25 -0500 -From: root -To: camm@enhanced.com, bill.page1@sympatico.ca -Subject: [Axiom-developer] _BOOL problem in GCL 2.4.3 for GCC 2.96 (typo fix) -CC: miketh@brisbane.paradigmgeo.com +From: Tim Daly +To: Camm Maguire, Bill Page +Subject: _BOOL problem in GCL 2.4.3 for GCC 2.96 (typo fix) +CC: Mike Thomas Camm, I fat-fingered the last mail. The actual .defs file is in the 'h' directory, not the 'o' directory. These are the correct instructions: @@ -5053,9 +5031,9 @@ Tim \start Date: Wed, 20 Nov 2002 22:40:27 -0500 -From: root -To: camm@enhanced.com -Subject: [Axiom-developer] gcl 2.5 +From: Tim Daly +To: Camm Maguire +Subject: gcl 2.5 I'm happy to report that GCL 2.5 builds cleanly on RedHat 7.2 (gcc 2.95) RedHat 7.3 (gcc 2.96) and RedHat 8.0 (gcc 3.2). @@ -5064,9 +5042,9 @@ Where can I find this test suite you mentioned? \start Date: Wed, 20 Nov 2002 22:58:28 -0500 -From: root -To: camm@enhanced.com -Subject: [Axiom-developer] gcl 2.5 bug report +From: Tim Daly +To: Camm Maguire +Subject: gcl 2.5 bug report gcl >(in-package 'foo) @@ -5078,9 +5056,9 @@ name can be a symbol or a string. \start Date: 21 Nov 2002 08:09:27 -0500 -From: Camm Maguire -To: daly@idsi.net -Subject: [Axiom-developer] Re: [Gcl-devel] gcl 2.5 +From: Camm Maguire +To: list +Subject: Re: [Gcl-devel] gcl 2.5 Greetings! Great! In the subdir ansi-tests. Try this out (only when you've configured with --enable-ansi): @@ -5089,7 +5067,7 @@ cd ansi-tests ../unixport/saved_ansi_gcl (load "gclload.lsp") -root writes: +Tim Daly writes: > I'm happy to report that GCL 2.5 builds cleanly on RedHat 7.2 (gcc 2.95) > RedHat 7.3 (gcc 2.96) and RedHat 8.0 (gcc 3.2). @@ -5099,9 +5077,9 @@ root writes: \start Date: 21 Nov 2002 08:08:16 -0500 -From: Camm Maguire -To: daly@idsi.net -Subject: [Axiom-developer] Re: [Gcl-devel] gcl 2.5 bug report +From: Camm Maguire +To: list +Subject: Re: [Gcl-devel] gcl 2.5 bug report Hi Tim! The behavior you describe is CLTL1. CLTL2 and ansi say you @@ -5113,7 +5091,7 @@ too tough to add a make-package, no? Take care, -root writes: +Tim Daly writes: > gcl > >(in-package 'foo) @@ -5125,20 +5103,20 @@ root writes: \start Date: Thu, 21 Nov 2002 17:30:07 +0100 (MET) -From: Joris van der Hoeven -To: texmacs-dev@gnu.org -Subject: [Axiom-developer] Re: [Texmacs-dev] Axiom and TeXmacs -Cc: bill.page1@sympatico.ca +From: Joris van der Hoeven +To: list +Subject: Re: [Texmacs-dev] Axiom and TeXmacs +Cc: Bill Page > Norman's noweb wraps code in the sequence, causing a "definition" -> <>=3D +> <>= > code > ... > code > @ -> where everything outside the <<>>=3D ... @ is considered text. +> where everything outside the <<>>= ... @ is considered text. > Code between the boundaries is basically a verbatim environment. ->=20 +> > Code definitions are "used" by specifying: > <> > Notice the lack of trailing equal sign. @@ -5160,28 +5138,27 @@ at a not yet specified date... \start Date: Thu, 21 Nov 2002 16:11:08 -0500 -From: "Bill Page" -To: "'Joris van der Hoeven'" , -Subject: [Axiom-developer] RE: [Texmacs-dev] Axiom and TeXmacs - +From: Bill Page +To: Joris van der Hoeven +Subject: RE: [Texmacs-dev] Axiom and TeXmacs On Thursday, November 21, 2002 11:30 AM Joris van der Hoeven TeXmacs@math.u-psud.fr wrote: -> [Tim]=20 +> [Tim] > > Norman's noweb wraps code in the sequence, causing a -> > "definition" <>=3D code +> > "definition" <>= code > > ... > > code > > @ -> > where everything outside the <<>>=3D ... @ is considered +> > where everything outside the <<>>= ... @ is considered > > text. Code between the boundaries is basically a verbatim > > environment. -> >=20 +> > > > Code definitions are "used" by specifying: > > <> > > Notice the lack of trailing equal sign. ->=20 +> > Maybe we should preprocess the pamphlet file using Perl > before doing the conversion. I think that St=E9phane > Payrard might be willing to help us with that. @@ -5214,7 +5191,7 @@ clear to me hold folding is intended to work in TeXmacs. I wasn't able to find any documentation about it and my experiments with it so far have not produced a clear picture. Perhaps it is still largely in the planning -stage?=20 +stage? Finally there should be an new File->Export->Tangle menu option that would generate code and be equivalent @@ -5223,7 +5200,7 @@ to notangle which expands the code chunks starting with the root -<<*>>=3D and including all the referenced code chunks +<<*>>= and including all the referenced code chunks in the whole tree structure. We could also have a Tools->Selections->Export->Tangle @@ -5231,18 +5208,18 @@ option that applies notangle starting with a selected code chunk instead of the root. What do you think, Tim? -=20 + > > Joris, can you point me at some specific part of > > the TeXmacs docs that will help us develop a pamphlet > > "style" file. A style file that properly handle > > noweb vanilla output would be quite useful. ->=20 +> > Help -> Styles ->=20 +> > Unfortunately, the documentation is very incomplete, > because the support for writing style files will be > much improved at a not yet specified date... ->=20 +> Perhaps it would help to be able to look at some existing styles that do something similar to what @@ -5250,14 +5227,14 @@ we want. What would you recommend? \start Date: 21 Nov 2002 16:31:09 -0500 -From: Camm Maguire -To: daly@idsi.net -Subject: [Axiom-developer] Re: [Gcl-devel] _BOOL problem in GCL 2.4.3 for GCC 2.96 -Cc: bill.page1@sympatico.ca, miketh@brisbane.paradigmgeo.com +From: Camm Maguire +To: Tim Daly +Subject: Re: [Gcl-devel] _BOOL problem in GCL 2.4.3 for GCC 2.96 +Cc: Bill Page, Mike Thomas Greetings! -root writes: +Tim Daly writes: > Camm, > @@ -5328,13 +5305,12 @@ Take care, \start Date: Thu, 21 Nov 2002 21:21:59 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] Re: GCL on Cygwin for Axiom -Cc: +From: Bill Page +To: list +Subject: Re: GCL on Cygwin for Axiom On Wednesday, November 20, 2002 6:26 PM Mike Thomas -miketh@brisbane.paradigmgeo.com wrote: +Mike Thomas wrote: > ... > Below please find an attempt to discourage the development @@ -5390,10 +5366,9 @@ modify the makefile.pamphlet files accordingly. \start Date: Fri, 22 Nov 2002 13:54:11 +1000 -From: "Mike Thomas" -To: "Bill Page" , -Subject: [Axiom-developer] Re: [Gcl-devel] Re: GCL on Cygwin for Axiom -Cc: +From: Mike Thomas +To: Bill Page +Subject: Re: [Gcl-devel] Re: GCL on Cygwin for Axiom Hi Bill. @@ -5436,10 +5411,9 @@ hooked on the Cygwin dll. \start Date: Fri, 22 Nov 2002 10:59:24 +0000 -From: Mike Dewar -To: Bill Page -Subject: Re: [Axiom-developer] Re: GCL on Cygwin for Axiom -Cc: mingw-users@lists.sourceforge.net, Mike Dewar +From: Mike Dewar +To: Bill Page +Subject: Re: GCL on Cygwin for Axiom On Thu, Nov 21, 2002 at 09:21:59PM -0500, Bill Page wrote: > Since GCL can already be built on both Linux and Windows @@ -5459,10 +5433,9 @@ of the non-standard Axiom enhancements. \start Date: Fri, 22 Nov 2002 07:36:08 -0500 -From: Earnie Boyd -To: Bill Page -Subject: [Axiom-developer] Re: [Mingw-users] Re: GCL on Cygwin for Axiom -CC: mingw-users@lists.sourceforge.net +From: Earnie Boyd +To: Bill Page +Subject: Re: [Mingw-users] Re: GCL on Cygwin for Axiom Bill Page wrote: > @@ -5485,10 +5458,10 @@ not currently being worked but ... \start Date: Fri, 22 Nov 2002 08:05:40 -0500 -From: Earnie Boyd -To: MinGW Users -Subject: [Axiom-developer] Re: [Mingw-users] Re: GCL on Cygwin for Axiom -CC: Bill Page +From: Earnie Boyd +To: list +Subject: Re: [Mingw-users] Re: GCL on Cygwin for Axiom +CC: Bill Page Earnie Boyd wrote: > Bill Page wrote: @@ -5517,10 +5490,10 @@ X server. \start Date: Fri, 22 Nov 2002 11:51:17 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] many topics -CC: miked@nag.co.uk, mingw-users@lists.sourceforge.net, miked@nag.co.uk, texmacs-dev@gnu.org, tim@tenkan.org +From: Tim Daly +To: Bill Page +Subject: many topics +CC: Mike Dewar, Tim Daly Jr. Bill, @@ -5573,14 +5546,14 @@ test it once and let me know if you can write to it. \start Date: 22 Nov 2002 12:02:24 -0500 -From: Camm Maguire -To: daly@idsi.net -Subject: [Axiom-developer] Re: [Gcl-devel] many topics -Cc: bill.page1@sympatico.ca, miked@nag.co.uk, axiom-developer@nongnu.org, gcl-devel@gnu.org, mingw-users@lists.sourceforge.net, texmacs-dev@gnu.org, tim@tenkan.org +From: Camm Maguire +To: Tim Daly +Subject: Re: [Gcl-devel] many topics +Cc: Bill Page, Mike Dewar, Tim Daly Jr. Greetings! -root writes: +Tim Daly writes: > Bill, > @@ -5641,10 +5614,10 @@ Take care, \start Date: Fri, 22 Nov 2002 12:23:37 -0500 -From: root -To: camm@enhanced.com -Subject: [Axiom-developer] Re: [Gcl-devel] many topics -CC: bill.page1@sympatico.ca, miked@nag.co.uk, mingw-users@lists.sourceforge.net, texmacs-dev@gnu.org, tim@tenkan.org +From: Tim Daly +To: Camm Maguire +Subject: Re: [Gcl-devel] many topics +CC: Bill Page, Mike Dewar, Tim Daly Jr. re: ifdef-ing out make-package check. @@ -5653,21 +5626,20 @@ way around. \start Date: Sat, 23 Nov 2002 09:19:09 +0100 (MET) -From: Joris van der Hoeven -To: Bill Page -Subject: [Axiom-developer] RE: [Texmacs-dev] Axiom and TeXmacs -Cc: "'Joris van der Hoeven'" , texmacs-dev@gnu.org +From: Joris van der Hoeven +To: Bill Page +Subject: RE: [Texmacs-dev] Axiom and TeXmacs > > Maybe we should preprocess the pamphlet file using Perl > > before doing the conversion. I think that St=E9phane > > Payrard might be willing to help us with that. ->=20 +> > If I understand you correctly, I do not think a Perl > filter is a good approach. I have nothing against Perl > as such, its just that I think the goal should be more > than loading a pamphlet file into TeXmacs in a readable > manner. ->=20 +> > I think there should be a new File->Import->Pamphlet > option for this case. The result of importing a pamphlet > should be a TeXmacs document with a folded structure. @@ -5675,9 +5647,9 @@ Cc: "'Joris van der Hoeven'" , texmacs-dev@gnu.org > that when viewed or printed with a style called "weave" > for example, the result would be the same as the output > of ->=20 +> > noweave | latex ->=20 +> > A different style which displayed the contents of the > folded chunks could be used for editing. Code chunks > have to be named and will also have references to @@ -5698,18 +5670,18 @@ the result to TeXmacs using the standard input filter. > I wasn't able to find any documentation about it and > my experiments with it so far have not produced a clear > picture. Perhaps it is still largely in the planning -> stage?=20 +> stage? Yes, this will be dealt with sometime next year. > Finally there should be an new File->Export->Tangle > menu option that would generate code and be equivalent > to ->=20 +> > notangle ->=20 +> > which expands the code chunks starting with the root -> <<*>>=3D and including all the referenced code chunks +> <<*>>= and including all the referenced code chunks > in the whole tree structure. Yes, that should not be difficult. @@ -5724,13 +5696,13 @@ Yes, we systematically do that for all formats. > > > the TeXmacs docs that will help us develop a pamphlet > > > "style" file. A style file that properly handle > > > noweb vanilla output would be quite useful. -> >=20 +> > > > Help -> Styles -> >=20 +> > > > Unfortunately, the documentation is very incomplete, > > because the support for writing style files will be > > much improved at a not yet specified date... ->=20 +> > Perhaps it would help to be able to look at some > existing styles that do something similar to what > we want. What would you recommend? @@ -5741,10 +5713,9 @@ the pamphlet format? \start Date: Sat, 23 Nov 2002 08:55:50 -0500 -From: "Bill Page" -To: "'Joris van der Hoeven'" -Subject: [Axiom-developer] RE: [Texmacs-dev] Axiom and TeXmacs -Cc: +From: Bill Page +To: Joris van der Hoeven +Subject: RE: [Texmacs-dev] Axiom and TeXmacs On Saturday, November 23, 2002 3:19 AM Joris van der Hoeven TeXmacs@math.u-psud.fr wrote: @@ -5860,10 +5831,10 @@ you have in mind some other format? \start Date: Sat, 23 Nov 2002 12:17:52 -0500 -From: root -To: "'Joris van der Hoeven'" -Subject: [Axiom-developer] noweb, pamphlets, and TeXmacs -Cc: , "Bill Page" , Norman Ramsey , Barry Trager , Manuel Bronstein , William Sit +From: Tim Daly +To: Joris van der Hoeven +Subject: noweb, pamphlets, and TeXmacs +Cc: Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit All, @@ -6313,17 +6284,17 @@ you have in mind some other format? \start Date: Sat, 23 Nov 2002 14:05:01 -0500 -From: "Bill Page" -To: , "'Joris van der Hoeven'" -Subject: [Axiom-developer] RE: noweb, pamphlets, and TeXmacs -Cc: , "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" +From: Bill Page +To: Joris van der Hoeven +Subject: RE: noweb, pamphlets, and TeXmacs +Cc: Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit Tim, Thanks for the treatise on noweb etc. On Saturday, November 23, 2002 12:18 PM -daly@idsi.net wrote: +Tim Daly wrote: >... > RE: NOWEB CHANGES @@ -6367,10 +6338,10 @@ both jobs. \start Date: Sun, 24 Nov 2002 01:51:45 -0500 -From: William Sit -To: daly@idsi.net -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -CC: 'Joris van der Hoeven' , texmacs-dev@gnu.org, axiom-developer@nongnu.org, Bill Page , Norman Ramsey , Barry Trager , Manuel Bronstein +From: William Sit +To: Tim Daly +Subject: Re: noweb, pamphlets, and TeXmacs +CC: Joris van der Hoeven, Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein Just a simple comment on: @@ -6407,10 +6378,10 @@ update all existing pamphlets. \start Date: Sun, 24 Nov 2002 09:56:26 -0500 -From: root -To: wyscc@cunyvm.cuny.edu -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -CC: TeXmacs@math.u-psud.fr, texmacs-dev@gnu.org, bill.page1@sympatico.ca, nr@eecs.harvard.edu, bmt@us.ibm.com, Manuel.Bronstein@sophia.inria.fr +From: Tim Daly +To: William Sit +Subject: Re: noweb, pamphlets, and TeXmacs +CC: Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein Bill, @@ -6435,10 +6406,9 @@ Perhaps a new syntax and working could correct that. \start Date: Sun, 24 Nov 2002 16:36:16 +0100 (CET) -From: Bertfried Fauser -To: axiom-developer@nongnu.org -Subject: [Axiom-developer] axiom mailing lists - +From: Bertfried Fauser +To: list +Subject: axiom mailing lists Dear All, @@ -6458,10 +6428,10 @@ lists, is considered unpolite, I would appologize for that. \start Date: Sun, 24 Nov 2002 10:39:18 -0500 -From: root -To: wyscc@cunyvm.cuny.edu -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -CC: TeXmacs@math.u-psud.fr, texmacs-dev@gnu.org, bill.page1@sympatico.ca, nr@eecs.harvard.edu, axiom-mail@nongnu.org, bmt@us.ibm.com, Manuel.Bronstein@sophia.inria.fr +From: Tim Daly +To: William Sit +Subject: Re: noweb, pamphlets, and TeXmacs +CC: Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein Bill, @@ -6483,10 +6453,9 @@ use <> style references. \start Date: Sun, 24 Nov 2002 17:07:01 +0100 (MET) -From: Joris van der Hoeven -To: Bill Page -Subject: [Axiom-developer] RE: [Texmacs-dev] Axiom and TeXmacs -Cc: "'Joris van der Hoeven'" , texmacs-dev@gnu.org +From: Joris van der Hoeven +To: Bill Page +Subject: RE: [Texmacs-dev] Axiom and TeXmacs > > Also: how much documentation does already exist > > in the pamphlet format? @@ -6521,10 +6490,10 @@ the web, and so on. \start Date: Sun, 24 Nov 2002 18:17:25 +0100 (MET) -From: Joris van der Hoeven -To: root -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -Cc: "'Joris van der Hoeven'" , texmacs-dev@gnu.org, Bill Page , Norman Ramsey , Barry Trager , Manuel Bronstein , William Sit +From: Joris van der Hoeven +To: Tim Daly +Subject: Re: noweb, pamphlets, and TeXmacs +Cc: Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit Thanks for the detailed tutorial, Tim. @@ -6793,10 +6762,9 @@ but you can ask questions on the texmacs-dev list. \start Date: Sun, 24 Nov 2002 12:27:22 -0500 -From: root -To: TeXmacs@math.u-psud.fr -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -CC: texmacs-dev@gnu.org +From: Tim Daly +To: list +Subject: Re: noweb, pamphlets, and TeXmacs Joris, @@ -6810,10 +6778,9 @@ question concerns other TeXmacs operations like URL tag following. \start Date: Sun, 24 Nov 2002 19:20:54 +0100 (MET) -From: Joris van der Hoeven -To: root -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -Cc: TeXmacs@math.u-psud.fr, texmacs-dev@gnu.org +From: Joris van der Hoeven +To: Tim Daly +Subject: Re: noweb, pamphlets, and TeXmacs > Is TeXmacs scriptable? That is, can I run it from a Makefile > silently during document generation? @@ -6834,10 +6801,10 @@ not very clean yet. \start Date: Sun, 24 Nov 2002 13:45:29 -0500 -From: William Sit -To: daly@idsi.net -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -CC: TeXmacs@math.u-psud.fr, texmacs-dev@gnu.org, bill.page1@sympatico.ca, nr@eecs.harvard.edu, bmt@us.ibm.com, Manuel.Bronstein@sophia.inria.fr +From: William Sit +To: Tim Daly +Subject: Re: noweb, pamphlets, and TeXmacs +CC: Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein > The URLs are all assumed to be internal, hence the pamphlet: > prefix. @@ -6855,9 +6822,9 @@ can also be done automatically similar to patches to software bugs. \start Date: Sun, 24 Nov 2002 13:46:26 -0500 -From: root -To: wyscc@cunyvm.cuny.edu -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs +From: Tim Daly +To: William Sit +Subject: Re: noweb, pamphlets, and TeXmacs >>In this case, we agree. I would suggest then that the (path) be left out >>and recovered dynamically from the user's installation (much like a @@ -6867,10 +6834,10 @@ Excellent idea. \start Date: Sun, 24 Nov 2002 14:00:24 -0500 -From: "Bill Page" -To: "'Joris van der Hoeven'" -Subject: [Axiom-developer] RE: noweb, pamphlets, and TeXmacs -Cc: , , "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" , , +From: Bill Page +To: Joris van der Hoeven +Subject: RE: noweb, pamphlets, and TeXmacs +Cc: Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit Everyone, @@ -7166,10 +7133,10 @@ your ideas are to Anthony's on this! \start Date: Sun, 24 Nov 2002 20:22:24 +0100 (MET) -From: Joris van der Hoeven -To: Bill Page -Subject: [Axiom-developer] RE: noweb, pamphlets, and TeXmacs -Cc: "'Joris van der Hoeven'" , texmacs-dev@gnu.org, "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" , xml-litprog-l@yahoogroups.com, abcoates@TheOffice.net +From: Joris van der Hoeven +To: Bill Page +Subject: RE: noweb, pamphlets, and TeXmacs +Cc: Joris van der Hoeven, Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit > I think that Anthony Coates (see links above) has > already done quite an excellent job of defining a @@ -7185,10 +7152,10 @@ another story). This is what we should discuss in my opinion. \start Date: Sun, 24 Nov 2002 15:00:24 -0500 -From: "Bill Page" -To: "'Joris van der Hoeven'" -Subject: [Axiom-developer] RE: noweb, pamphlets, and TeXmacs -Cc: , , "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" , , +From: Bill Page +To: Joris van der Hoeven +Subject: RE: noweb, pamphlets, and TeXmacs +Cc:Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit On Sunday, November 24, 2002 2:22 PM Joris van der Hoeven TeXmacs@math.u-psud.fr wrote: @@ -7246,12 +7213,12 @@ et another generation of programmers. \start Date: Sun, 24 Nov 2002 21:27:57 GMT -From: "Anthony B. Coates" -To: xml-litprog-l@yahoogroups.com, "Bill Page" , "'Joris van der Hoeven'" -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -Cc: , , "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" +From: Anthony B. Coates +To: Bill Page, Joris van der Hoeven +Subject: Re: noweb, pamphlets, and TeXmacs +Cc: Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit -** Reply to message from "Bill Page" on Sun, 24 Nov +** Reply to message from Bill Page on Sun, 24 Nov 2002 15:00:24 -0500 A couple of things. TeXmacs looks nice. I wish I had as nice a front end for @@ -7283,24 +7250,15 @@ for my physics studies, if had a suitable way to produce printed output (and that would probably require PassiveTeX, so I still wouldn't be able to escape TeX as an underlying technology). - Cheers, - Tony. -==== -Anthony B. Coates, Information & Software Architect -mailto:abcoates@TheOffice.net -MDDL Editor (Market Data Definition Language) -http://www.mddl.org/ - - \start Date: Mon, 25 Nov 2002 14:58:17 +0100 -From: =?iso-8859-1?Q?Johannes_H=FCsing?= -To: xml-litprog-l@yahoogroups.com, Bill Page , 'Joris van der Hoeven' -Subject: [Axiom-developer] Re: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs -Cc: texmacs-dev@gnu.org, axiom-developer@nongnu.org, 'Norman Ramsey' , 'Barry Trager' , 'Manuel Bronstein' , 'William Sit' +From: Johannes Hesing +To: Bill Page, Joris van der Hoeven +Subject: Re: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs +Cc: Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit On Sun 2002-11-24 (21:27), Anthony B. Coates wrote: -> ** Reply to message from "Bill Page" on Sun, 24 Nov +> ** Reply to message from Bill Page on Sun, 24 Nov > 2002 15:00:24 -0500 > > A couple of things. TeXmacs looks nice. I wish I had as nice a front end for @@ -7324,10 +7282,10 @@ Greetings \start Date: Mon, 25 Nov 2002 13:16:07 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs -Cc: , , "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" , +From: Bill Page +To: list +Subject: RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs +Cc: Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit Hello all, @@ -7415,56 +7373,56 @@ http://savannah.nongnu.org/projects/axiom > -----Original Message----- -> From: Johannes H=FCsing [mailto:tmi0m0@spi.power.uni-essen.de]=20 +> From: Johannes H=FCsing [mailto:tmi0m0@spi.power.uni-essen.de] > Sent: Monday, November 25, 2002 8:58 AM > To: xml-litprog-l@yahoogroups.com; Bill Page; 'Joris van der Hoeven' -> Cc: texmacs-dev@gnu.org; axiom-developer@nongnu.org; 'Norman=20 +> Cc: texmacs-dev@gnu.org; axiom-developer@nongnu.org; 'Norman > Ramsey'; 'Barry Trager'; 'Manuel Bronstein'; 'William Sit' > Subject: Re: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs ->=20 ->=20 +> +> > On Sun 2002-11-24 (21:27), Anthony B. Coates wrote: -> > ** Reply to message from "Bill Page"=20 -> on Sun,=20 +> > ** Reply to message from "Bill Page" +> on Sun, > > 24 Nov 2002 15:00:24 -0500 -> >=20 -> > A couple of things. TeXmacs looks nice. I wish I had as=20 -> nice a front=20 -> > end for xmLP. I've often felt that the lack of nice front-ends has=20 -> > hurt the take-up of LitProg (& Emacs does not count as a nice=20 -> > front-end, not for the 95% majority). An ideal LitProg=20 -> editor would be=20 -> > WYSIWYG, so that what you see when editing is equivalent to=20 -> what you=20 -> > would get with a traditional LitProg tool after "weaving" the=20 +> > +> > A couple of things. TeXmacs looks nice. I wish I had as +> nice a front +> > end for xmLP. I've often felt that the lack of nice front-ends has +> > hurt the take-up of LitProg (& Emacs does not count as a nice +> > front-end, not for the 95% majority). An ideal LitProg +> editor would be +> > WYSIWYG, so that what you see when editing is equivalent to +> what you +> > would get with a traditional LitProg tool after "weaving" the > > documentation. ->=20 -> I don't know if I still need to draw your attention to LEO=20 -> (http://sourceforge.net/projects/leo). The DTD of Leo output=20 -> files is naturally not 1:1 with xmLP, but things like=20 +> +> I don't know if I still need to draw your attention to LEO +> (http://sourceforge.net/projects/leo). The DTD of Leo output +> files is naturally not 1:1 with xmLP, but things like > lp:usage attributes can be generated automatically. ->=20 -> Of course, everyone has their own idea of what LP has to look=20 -> like, but after using Leo for a couple of weeks my impression=20 -> is that of a=20 -> very flexible tool that can be geared towards many=20 -> structures, including at least an important subset of the=20 +> +> Of course, everyone has their own idea of what LP has to look +> like, but after using Leo for a couple of weeks my impression +> is that of a +> very flexible tool that can be geared towards many +> structures, including at least an important subset of the > xmLP grammar. ->=20 +> > Greetings ->=20 ->=20 +> +> > Johannes -> >=20 ->=20 +> > +> \start Date: Tue, 26 Nov 2002 09:56:59 +0000 -From: Mike Dewar -To: Bill Page -Subject: Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and Te -Cc: xml-litprog-l@yahoogroups.com, texmacs-dev@gnu.org, axiom-developer@nongnu.org, "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" , cyganski@ece.WPI.EDU, Mike Dewar +From: Mike Dewar +To: Bill Page +Subject: RE: [xml-litprog-l] Re: noweb, pamphlets, and Te +Cc: Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit, Mike Dewar On Mon, Nov 25, 2002 at 01:16:07PM -0500, Bill Page wrote: @@ -7517,9 +7475,9 @@ URIs. \start Date: Tue, 26 Nov 2002 12:01:40 +0100 (MET) From: Joris van der Hoeven -To: texmacs-dev@gnu.org -Subject: Re: [Texmacs-dev] Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs -Cc: Bill Page , xml-litprog-l@yahoogroups.com, axiom-developer@nongnu.org, "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" , cyganski@ece.WPI.EDU, Mike Dewar +To: list +Subject: Re: [Texmacs-dev] Re: RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs +Cc: Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit, Mike Dewar > LaTeX is fine as a rendering language but it does not have a regular > syntax and is very hard to manipulate. I've just spent several months @@ -7563,9 +7521,9 @@ to do all the work. \start Date: Tue, 26 Nov 2002 14:20:09 +0100 -From: michel.lavaud@univ-orleans.fr +From: Michel Lavaud To: Mike Dewar -Subject: Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs +Subject: Re: RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs Hello Mike, @@ -7687,14 +7645,14 @@ it ?). Having to learn a few years later another language is unacceptable for most users, I think, even though it might be more convenient for developers. -Michel.Lavaud@univ-orleans.fr +Michel Lavaud http://www.univ-orleans.fr/EXT/ASTEX \start Date: Tue, 26 Nov 2002 13:46:33 +0000 From: Mike Dewar -To: michel.lavaud@univ-orleans.fr -Subject: Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs +To: Michel Lavaud +Subject: Re: RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs Hi Michel, @@ -7716,7 +7674,7 @@ in LaTeX is any guarentee that it will be readable in 10 years let alone Cheers, Mike. -On Tue, Nov 26, 2002 at 02:20:09PM +0100, michel.lavaud@univ-orleans.fr wrote: +On Tue, Nov 26, 2002 at 02:20:09PM +0100, Michel Lavaud wrote: > Hello Mike, > > > > LaTex is a defacto standard notation for mathematical @@ -7826,10 +7784,9 @@ On Tue, Nov 26, 2002 at 02:20:09PM +0100, michel.lavaud@univ-orleans.fr wrote: \start Date: Tue, 26 Nov 2002 15:24:30 +0100 (CET) -From: Bertfried Fauser -To: axiom-developer@nongnu.org -Subject: Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and - TeXmacs +From: Bertfried Fauser +To: list +Subject: Re: RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs Hi as a potential user I follow this discussion with geat interest. @@ -7886,9 +7843,9 @@ form). Maple goes for MapleNet now, but that's buzz onyl :( \start Date: Tue, 26 Nov 2002 11:57:26 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] Maple XML and MATH/ML +From: Bill Page +To: list +Subject: Maple XML and MATH/ML Hi, @@ -7979,10 +7936,9 @@ Your comments would be most appreciated. \start Date: Tue, 26 Nov 2002 12:55:16 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] RE: [maple8] Maple XML and MATH/ML -Cc: +From: Bill Page +To: list +Subject: RE: [maple8] Maple XML and MATH/ML On Tuesday, November 26, 2002 10:30 AM I wrote: @@ -8089,9 +8045,9 @@ it is open source. \start Date: Tue, 26 Nov 2002 19:08:11 +0100 -From: michel.lavaud@univ-orleans.fr -To: Mike Dewar -Subject: Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs +From: Michel Lavaud +To: Mike Dewar +Subject: RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs Hello Mike, @@ -8116,10 +8072,10 @@ to 10... But anyway, you're right, I will buy some vellum, just in case \start Date: Tue, 26 Nov 2002 13:57:53 +0000 -From: Mike Dewar -To: Joris van der Hoeven -Subject: Re: [Texmacs-dev] Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs -Cc: texmacs-dev@gnu.org, Bill Page , xml-litprog-l@yahoogroups.com, axiom-developer@nongnu.org, "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" , cyganski@ece.WPI.EDU, Mike Dewar +From: Mike Dewar +To: Joris van der Hoeven +Subject: Re: noweb, pamphlets, and TeXmacs +Cc: Bill Page , Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit, Mike Dewar On Tue, Nov 26, 2002 at 12:01:40PM +0100, Joris van der Hoeven wrote: @@ -8156,10 +8112,10 @@ In what sense? \start Date: Tue, 26 Nov 2002 15:27:54 +0100 (MET) -From: Joris van der Hoeven -To: Mike Dewar -Subject: Re: [Texmacs-dev] Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs -Cc: Joris van der Hoeven , texmacs-dev@gnu.org, Bill Page , xml-litprog-l@yahoogroups.com, axiom-developer@nongnu.org, "'Norman Ramsey'" , "'Barry Trager'" , "'Manuel Bronstein'" , "'William Sit'" , cyganski@ece.WPI.EDU +From: Joris van der Hoeven +To: Mike Dewar +Subject: Re: noweb, pamphlets, and TeXmacs +Cc: Joris van der Hoeven, Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit > Quite how useful graphical manipulation of mathematics is is > questionable, @@ -8198,10 +8154,10 @@ as possible. \start Date: Tue, 26 Nov 2002 22:15:48 +0100 (CET) -From: Martin RUBEY -To: Mike Dewar -Subject: Re: [Texmacs-dev] Re: [Axiom-developer] RE: [xml-litprog-l] Re: noweb, pamphlets, and TeXmacs -Cc: Joris van der Hoeven , , Bill Page , , , 'Norman Ramsey' , 'Barry Trager' , 'Manuel Bronstein' , 'William Sit' , +From: Martin Rubey +To: Mike Dewar +Subject: Re: noweb, pamphlets, and TeXmacs +Cc: Joris van der Hoeven, Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein, William Sit > Quite how useful graphical manipulation of mathematics is is > questionable, but the ability to select/cut/paste sub-expressions in a @@ -8211,9 +8167,9 @@ kdvi just started to make "select" possible. Well, started... \start Date: Tue, 26 Nov 2002 19:25:42 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] testing cvs +From: Bill Page +To: list +Subject: testing cvs Tim, @@ -8225,9 +8181,9 @@ things over the next few days. \start Date: Tue, 26 Nov 2002 20:18:17 -0500 -From: "Bill Page" -To: -Subject: [Axiom-developer] MetaPRL +From: Bill Page +To: list +Subject: MetaPRL Cc: Tim, @@ -8246,9 +8202,9 @@ afterall there are 23 useable hours in each day. Right? \start Date: Tue, 26 Nov 2002 23:24:05 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: MetaPRL +From: Tim Daly +To: Bill Page +Subject: Re: MetaPRL CC: cyganski@ece.WPI.EDU Bill, @@ -8259,21 +8215,21 @@ before I do it all again. \start Date: Tue, 26 Nov 2002 23:28:11 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: MetaPRL +From: Tim Daly +To: Bill Page +Subject: Re: MetaPRL CC: cyganski@ece.WPI.EDU tenkan appears to be down at the moment. i'll try tomorrow. --t \start Date: Tue, 26 Nov 2002 23:26:07 -0500 -From: William Sit -To: Martin RUBEY -Subject: Re: [Texmacs-dev] Re: [Axiom-developer] RE: [xml-litprog-l] Re:noweb, pamphlets, and TeXmacs -CC: Mike Dewar , Joris van der Hoeven , texmacs-dev@gnu.org, Bill Page , xml-litprog-l@yahoogroups.com, 'Norman Ramsey' , 'Barry Trager' , 'Manuel Bronstein' , cyganski@ece.WPI.EDU +From: William Sit +To: Martin Rubey +Subject: Re:noweb, pamphlets, and TeXmacs +CC: Mike Dewar, Joris van der Hoeven, Bill Page, Norman Ramsey, Barry Trager, Manuel Bronstein -Martin RUBEY wrote: +Martin Rubey wrote: > > > Quite how useful graphical manipulation of mathematics is is > > questionable, but the ability to select/cut/paste sub-expressions in a @@ -8305,10 +8261,9 @@ generation could be influenced by Axiom? \start Date: Wed, 27 Nov 2002 10:04:19 +0000 -From: Mike Dewar -To: Bill Page -Subject: Re: [Axiom-developer] RE: [maple8] Maple XML and MATH/ML -Cc: maple8@yahoogroups.com, texmacs-dev@gnu.org, Mike Dewar +From: Mike Dewar +To: Bill Page +Subject: RE: [maple8] Maple XML and MATH/ML Hi Bill, @@ -8437,9 +8392,9 @@ On Tue, Nov 26, 2002 at 12:55:16PM -0500, Bill Page wrote: \start Date: Wed, 27 Nov 2002 19:32:58 +0100 -From: michel.lavaud@univ-orleans.fr -To: wyscc@cunyvm.cuny.edu -Subject: Re: [Texmacs-dev] Re: [Axiom-developer] RE: [xml-litprog-l] Re:noweb, pamphlets, and TeXmacs +From: Michel Lavaud +To: William Sit +Subject: Re:noweb, pamphlets, and TeXmacs Hello William, @@ -8452,9 +8407,9 @@ arguments? In what sense is $x_i$ for example ambiguous? \start Date: Wed, 27 Nov 2002 13:54:56 -0500 -From: root -To: camm@enhanced.com, axiom-developer@nongnu.org -Subject: [Axiom-developer] Makefile and CVS +From: Tim Daly +To: Camm Maguire +Subject: Makefile and CVS The CVS change worked fine. Please move your comments from the generated Makefile to the text block above and write them so @@ -8584,10 +8539,10 @@ Feel free to argue. \start Date: Wed, 27 Nov 2002 13:58:36 -0500 -From: root -To: michel.lavaud@univ-orleans.fr -Subject: Re: [Texmacs-dev] Re: [Axiom-developer] RE: [xml-litprog-l] Re:noweb, pamphlets, and TeXmacs -CC: wyscc@cunyvm.cuny.edu +From: Tim Daly +To: Michel Lavaud +Subject: Re:noweb, pamphlets, and TeXmacs +CC: William Sit Michel, @@ -8601,16 +8556,16 @@ of discourse x_i says nothing. \start Date: Wed, 27 Nov 2002 14:08:24 -0500 -From: root -To: axiom-developer@nongnu.org -Subject: [Axiom-developer] Re: GCL on windows. +From: Tim Daly +To: list +Subject: Re: GCL on windows. Greetings! GCL Mingw is apparently in decent shape, thanks to Mike Thomas and David Billinghurst. Compiles maxima and ACL2. You can get the latest snapshot from ftp://ftp.gnu.org/pub/gnu/gcl/cvs/gcl_mingw32_20021119.zip. -root writes: +Tim Daly writes: > hey *, > @@ -8625,9 +8580,9 @@ root writes: \start Date: Wed, 27 Nov 2002 16:29:38 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Re: [Gcl-devel] Re: GCL on windows. +From: Tim Daly +To: Bill Page +Subject: Re: [Gcl-devel] Re: GCL on windows. >Bill Page wrote: @@ -8677,12 +8632,12 @@ software. \start Date: Wed, 27 Nov 2002 16:39:02 -0500 -From: William Sit -To: daly@idsi.net -Subject: Re: [Texmacs-dev] Re: [Axiom-developer] RE: [xml-litprog-l] Re:noweb,pamphlets, and TeXmacs -CC: michel.lavaud@univ-orleans.fr +From: William Sit +To: Tim Daly +Subject: Re:noweb,pamphlets, and TeXmacs +CC: Michel Lavaud -michel.lavaud@univ-orleans.fr wrote: +Michel Lavaud wrote: > > Hello William, > @@ -8729,9 +8684,9 @@ the display handler. \start Date: Wed, 27 Nov 2002 17:18:42 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Windows noweb patch +From: Tim Daly +To: Bill Page +Subject: Windows noweb patch Bill, @@ -8762,9 +8717,9 @@ the <> chunkname. \start Date: Wed, 27 Nov 2002 17:29:22 -0500 -From: root -To: stannous@cisco.com -Subject: [Axiom-developer] Re: Axiom +From: Tim Daly +To: Sam Tannous +Subject: Re: Axiom I've sent a request to have an account created for you. You'll hear back about it as soon as the sysadmin does it. @@ -8784,9 +8739,9 @@ Let me know what fails. \start Date: Wed, 27 Nov 2002 18:01:38 -0500 -From: Bill Page -To: -Subject: [Axiom-developer] Re: GCL on windows. +From: Bill Page +To: list +Subject: Re: GCL on windows. Tim, @@ -8866,9 +8821,9 @@ some other open source package), if at all possible. \start Date: Wed, 27 Nov 2002 18:23:01 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Windows front end +From: Tim Daly +To: Bill Page +Subject: Windows front end > Bill Page wrote: > @@ -8926,10 +8881,10 @@ whims. I'll do what I can to help. \start Date: 27 Nov 2002 20:41:12 -0500 -From: Camm Maguire -To: daly@idsi.net -Subject: Re: [Axiom-developer] Re: Axiom -Cc: stannous@cisco.com +From: Camm Maguire +To: Tim Daly +Subject: Re: Re: Axiom +Cc: Sam Tannous Greetings! I just saw this go by, and gave it a try myself. obj/linux/bin/bootsys appeared to be created successfully. This also @@ -8939,7 +8894,7 @@ Does this accurately reflect the current status? Take care, -root writes: +Tim Daly writes: > I've sent a request to have an account created for you. > You'll hear back about it as soon as the sysadmin does it. @@ -8959,9 +8914,9 @@ root writes: \start Date: Wed, 27 Nov 2002 21:09:06 -0500 -From: root -To: camm@enhanced.com -Subject: [Axiom-developer] Layers +From: Tim Daly +To: Camm Maguire +Subject: Layers Yes, in the current state of the CVS the end result of the build process is to create bootsys. @@ -9032,10 +8987,10 @@ is and is not a layer. I'm working on layer 2 as we speak. \start Date: Thu, 28 Nov 2002 10:13:15 +0000 -From: Mike Dewar -To: root -Subject: Re: [Axiom-developer] Windows front end -Cc: bill.page1@sympatico.ca +From: Mike Dewar +To: Tim Daly +Subject: Re: Windows front end +Cc: Bill Page Hi Guys, @@ -9158,10 +9113,10 @@ On Wed, Nov 27, 2002 at 06:23:01PM -0500, Tim Daly wrote: \start Date: Thu, 28 Nov 2002 10:35:20 -0500 -From: root -To: miked@nag.co.uk -Subject: Re: [Axiom-developer] Windows front end -CC: bill.page1@sympatico.ca +From: Tim Daly +To: Mike Dewar +Subject: Re: Windows front end +CC: Bill Page > Mike Dewar wrote: > @@ -9300,9 +9255,9 @@ seen this code. \start Date: Thu, 28 Nov 2002 11:25:07 -0500 -From: Bill Page -To: , -Subject: [Axiom-developer] Re: Windows front end +From: Bill Page +To: Mike Dewar +Subject: Re: Windows front end Tim, @@ -9334,9 +9289,9 @@ not particularly efficient. \start Date: Thu, 28 Nov 2002 11:30:12 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] Windows and TeXmacs +From: Tim Daly +To: Bill Page +Subject: Windows and TeXmacs I agree that you can run TeXmacs on a Windows box using the techniques you've outlined and that is a possible @@ -9353,10 +9308,9 @@ environment? \start Date: Thu, 28 Nov 2002 12:14:57 -0500 -From: Bill Page -To: root -Subject: [Axiom-developer] Re: Windows and TeXmacs -CC: +From: Bill Page +To: Tim Daly +Subject: Re: Windows and TeXmacs Tim, @@ -9389,9 +9343,9 @@ and externally directed part of it. \start Date: Thu, 28 Nov 2002 12:20:06 -0500 -From: root -To: stannous@cisco.com, axiom-developer@nongnu.org -Subject: [Axiom-developer] Re: FreeBSD...Re: Axiom +From: Tim Daly +To: Sam Tannous +Subject: Re: FreeBSD...Re: Axiom Sam, @@ -9429,9 +9383,9 @@ Let me know if this fails. \start Date: Thu, 28 Nov 2002 13:10:50 -0500 -From: root -To: stannous@cisco.com, axiom-developer@nongnu.org -Subject: [Axiom-developer] FreeBSD...Re: Axiom +From: Tim Daly +To: Sam Tannous +Subject: FreeBSD...Re: Axiom Another subtle issue has occurred to me. @@ -9461,9 +9415,9 @@ Axiom is designed to never write outside its subtree. \start Date: Thu, 28 Nov 2002 13:38:09 -0500 -From: Bill Page -To: ,, -Subject: Re: [Axiom-developer] FreeBSD...Re: Axiom +From: Bill Page +To: Sam Tannous +Subject: Re: FreeBSD...Re: Axiom Tim, @@ -9517,10 +9471,10 @@ to tenkan? Regards, Bill Page. > -> From: root +> From: Tim Daly > Date: Thu, 28 Nov 2002 13:10:50 -0500 > To: stannous@cisco.com, axiom-developer@nongnu.org -> Subject: [Axiom-developer] FreeBSD...Re: Axiom +> Subject: FreeBSD...Re: Axiom > > Another subtle issue has occurred to me. > @@ -9550,9 +9504,9 @@ Bill Page. \start Date: Thu, 28 Nov 2002 21:16:21 -0500 -From: root -To: bill.page1@sympatico.ca -Subject: [Axiom-developer] SPAD, strip and dev/null +From: Tim Daly +To: Bill Page +Subject: SPAD, strip and dev/null Bill, @@ -9585,10 +9539,10 @@ I'll also make the EXE change you suggested. \start Date: Fri, 29 Nov 2002 10:24:19 +0000 -From: Mike Dewar -To: root -Subject: Re: [Axiom-developer] Windows front end -Cc: bill.page1@sympatico.ca +From: Mike Dewar +To: Tim Daly +Subject: Re: Windows front end +Cc: Bill Page On Thu, Nov 28, 2002 at 10:35:20AM -0500, Tim Daly wrote: diff --git a/book/2002-12.txt b/book/2002-12.txt index 767be9f..6f36426 100644 --- a/book/2002-12.txt +++ b/book/2002-12.txt @@ -1,8 +1,7 @@ - \start Date: Sun, 1 Dec 2002 15:35:13 -0500 -From: root -To: axiom-developer@nongnu.org +From: Tim Daly +To: list Subject: [Axiom-developer] progress Lest you should feel like nothing is happening @@ -11,10 +10,10 @@ None of it visible, of course, but progress nonetheless. \start Date: Thu, 05 Dec 2002 16:54:32 -0500 -From: Norman Ramsey -To: daly@idsi.net -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -Cc: "'Joris van der Hoeven'" , texmacs-dev@gnu.org, axiom-developer@nongnu.org, "Bill Page" , Barry Trager , Manuel Bronstein , William Sit +From: Norman Ramsey +To: Tim Daly +Subject: Re: noweb, pamphlets, and TeXmacs +Cc: Joris van der Hoeven, Bill Page, Barry Trager, Manuel Bronstein, William Sit > I've written some tutorial notes on the pamphlet idea to try to get > everyone at the same level of discussion... @@ -52,10 +51,10 @@ such documents. \start Date: Thu, 5 Dec 2002 20:27:41 -0500 -From: root -To: nr@eecs.harvard.edu -Subject: [Axiom-developer] Re: noweb, pamphlets, and TeXmacs -CC: TeXmacs@math.u-psud.fr, texmacs-dev@gnu.org, bill.page1@sympatico.ca, bmt@us.ibm.com, Manuel.Bronstein@sophia.inria.fr, wyscc@cunyvm.cuny.edu +From: Tim Daly +To: Norman Ramsey +Subject: Re: noweb, pamphlets, and TeXmacs +CC: Bill Page, Barry Trager, Manuel Bronstein, William Sit > > I've written some tutorial notes on the pamphlet idea to try to get > > everyone at the same level of discussion... @@ -135,8 +134,8 @@ information would be up to the reader program. \start Date: Fri, 6 Dec 2002 0:16:51 -0500 From: Bill Page -To: -Subject: [Axiom-developer] Axiom and OpenMath/MathMl] +To: list +Subject: Axiom and OpenMath/MathMl] I really intended this for axiom-developer. I am sorry if you receive it in duplicate. Oh well... @@ -225,10 +224,10 @@ you receive it in duplicate. Oh well... \start Date: Fri, 06 Dec 2002 03:30:29 -0500 -From: William Sit -To: root -Subject: [Axiom-developer] Tex(t) chunk inclusion and citation -CC: nr@eecs.harvard.edu, TeXmacs@math.u-psud.fr, texmacs-dev@gnu.org, bill.page1@sympatico.ca, bmt@us.ibm.com, "Bronstein, Manuel" +From: William Sit +To: Tim Daly +Subject: Tex(t) chunk inclusion and citation +CC: Norman Ramsey, Bill Page, Barry Trager, Manuel Bronstein Tim wrote: @@ -397,10 +396,10 @@ We can severely restrict how a citable chunk or reference can be written \start Date: Fri, 6 Dec 2002 23:11:43 -0500 -From: root -To: wyscc@cunyvm.cuny.edu -Subject: [Axiom-developer] Re: Tex(t) chunk inclusion and citation -CC: nr@eecs.harvard.edu, TeXmacs@math.u-psud.fr, texmacs-dev@gnu.org, bill.page1@sympatico.ca, bmt@us.ibm.com, Manuel.Bronstein@sophia.inria.fr +From: Tim Daly +To: William Sit +Subject: Re: Tex(t) chunk inclusion and citation +CC: Norman Ramsey, Bill Page, Barry Trager, Manuel Bronstein > Tim wrote: > @@ -543,9 +542,9 @@ moment. \start Date: Mon, 9 Dec 2002 08:05:09 -0500 -From: Tim Daly -To: miked@nag.co.uk, daly@idsi.net -Subject: [Axiom-developer] unused boot files +From: Tim Daly +To: Mike Dewar +Subject: unused boot files Mike, @@ -568,9 +567,9 @@ word.boot \start Date: Mon, 9 Dec 2002 14:29:26 +0000 -From: Mike Dewar -To: Tim Daly -Subject: [Axiom-developer] Re: unused boot files +From: Mike Dewar +To: Tim Daly +Subject: Re: unused boot files Hi Tim, @@ -628,9 +627,9 @@ I hope that this is helpful. \start Date: Mon, 9 Dec 2002 09:02:35 -0500 -From: Tim Daly -To: miked@nag.co.uk -Subject: [Axiom-developer] Re: unused boot files +From: Tim Daly +To: Mike Dewar +Subject: Re: unused boot files Thanks. @@ -645,9 +644,9 @@ interest to keep it functional so I'd like to test it. \start Date: Mon, 9 Dec 2002 16:46:41 -0500 -From: root -To: -Subject: [Axiom-developer] Aldor and Windows +From: Tim Daly +To: Stephen Watt +Subject: Aldor and Windows Stephen, @@ -659,10 +658,9 @@ running everywhere also. \start Date: 12 Dec 2002 12:12:06 -0500 -From: Camm Maguire -To: gcl-devel@gnu.org -Subject: [Axiom-developer] The state of gcl/maxima/acl2 -cc: maxima@fireant.ma.utexas.edu +From: Camm Maguire +To: list +Subject: The state of gcl/maxima/acl2 Greetings! I thought this would be a good time for an update here, as the acl2 work has basically been completed. All these results pertain @@ -749,10 +747,9 @@ x86 xBSD yes yes pass ???? ???? ???? ???? \start Date: Fri, 13 Dec 2002 12:52:01 +1000 -From: "Mike Thomas" -To: "Camm Maguire" , -Subject: [Axiom-developer] RE: [Gcl-devel] The state of gcl/maxima/acl2 -cc: maxima@fireant.ma.utexas.edu +From: Mike Thomas +To: Camm Maguire +Subject: RE: [Gcl-devel] The state of gcl/maxima/acl2 Hi Camm. @@ -764,9 +761,9 @@ x86 w32 no no pass pass pass pass pass \start Date: Thu, 19 Dec 2002 07:13:42 -0500 -From: root -To: bill.page1@sympatico.ca, axiom-developer@nongnu.org -Subject: [Axiom-developer] GCL +From: Tim Daly +To: Bill Page +Subject: GCL Bill, @@ -776,8 +773,8 @@ is most of the "heavy lifting". Do you have GCL running anywhere? \start Date: Thu, 19 Dec 2002 12:38:55 -0500 From: Bill Page -To: , -Subject: [Axiom-developer] Re: GCL +To: list +Subject: Re: GCL Tim, @@ -811,9 +808,9 @@ work on it later. \start Date: Sat, 21 Dec 2002 17:52:47 -0500 -From: root -To: bill.page1@sympatico.ca, axiom-developer@nongnu.org -Subject: [Axiom-developer] pre-interpsys image +From: Tim Daly +To: Bill Page +Subject: pre-interpsys image I've checked in the next version of the system. This will build from scratch the lisp, bootsys, and now depsys images. It will @@ -9106,10 +9103,10 @@ bash-2.05a# \start Date: 22 Dec 2002 20:23:19 -0500 -From: Camm Maguire -To: daly@idsi.net -Subject: Re: [Axiom-developer] pre-interpsys image -cc: bill.page1@sympatico.ca +From: Camm Maguire +To: Tim Daly +Subject: Re: pre-interpsys image +cc: Bill Page Greetings, and thanks as always for your work on this! Just wanted to notice that there are quite a few straightforward failures when using @@ -9121,10 +9118,10 @@ compile or run time switch to get the old behavior. \start Date: Sun, 22 Dec 2002 21:08:11 -0500 -From: root -To: camm@enhanced.com -Subject: Re: [Axiom-developer] pre-interpsys image -cc: bill.page1@sympatico.ca +From: Tim Daly +To: Camm Maguire +Subject: Re: pre-interpsys image +cc: Bill Page Camm, @@ -9146,9 +9143,9 @@ switch anyway. \start Date: Tue, 24 Dec 2002 01:16:28 -0500 -From: root -To: axiom-mail@nongnu.org, axiom-developer@nongnu.org -Subject: [Axiom-developer] open source axiom lives +From: Tim Daly +To: list +Subject: open source axiom lives I just got it to compute 2+2 It lives! @@ -9160,9 +9157,9 @@ release by year-end. \start Date: 24 Dec 2002 11:56:32 -0500 -From: Camm Maguire -To: daly@idsi.net -Subject: Re: [Axiom-developer] open source axiom lives +From: Camm Maguire +To: Tim Daly +Subject: Re: open source axiom lives Congratulations! An outstanding achievement! And, BTW, everything works with current GCL cvs if one does a few MAKE-PACKAGE commands in @@ -9170,7 +9167,7 @@ the image first, as you suggested. Take care, -root writes: +Tim Daly writes: > I just got it to compute 2+2 > It lives! @@ -9182,9 +9179,9 @@ root writes: \start Date: Tue, 24 Dec 2002 12:05:12 -0500 -From: root -To: camm@enhanced.com -Subject: Re: [Axiom-developer] open source axiom lives +From: Tim Daly +To: Camm Maquire +Subject: Re: open source axiom lives re: current gcl diff --git a/changelog b/changelog index b534a56..c755f03 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,7 @@ +20140424 tpd src/axiom-website/patches.html 20140424.02.tpd.patch +20140424 tpd book/2002-12.txt use real names +20140424 tpd book/2002-11.txt use real names +20140424 tpd book/2002-10.txt use real names 20140424 tpd src/axiom-website/patches.html 20140424.01.tpd.patch 20140424 tpd book/2004-11.txt regularize 20140423 tpd src/axiom-website/patches.html 20140423.05.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index d7e2be8..b215cea 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4308,6 +4308,8 @@ book/2004-09.txt regularize book/2004-10.txt regularize 20140424.01.tpd.patch book/2004-11.txt regularize +20140424.02.tpd.patch +book/2002-10.txt, book/2002-11.txt, book/2002-12.txt use real names