Francois Maltey <[EMAIL PROTECTED]> writes: > Dear Martin, dear all, > > I'm testing your emacs fricas mode in order to improve read-only tag. > > At the very beginning of the fricas buffer I get this message. Is it right? > (see bellow)
Yes. It sets the function ioHook, which makes FriCAS print out the markers. Of course, it would be nicer to pass this to FriCAS in a different way, but currently, it's like that. Martin > > Have a nice day ! > > Francois > > > GCL (GNU Common Lisp) 2.6.8 CLtL1 Dec 1 2007 15:18:52 > Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) > Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC) > Modifications of this banner must retain notice of a compatible license > Dedicated to the memory of W. Schelter > > Use (help) to get some basic information on how to use GCL. > Temporary directory for compiler files set to /tmp/ > openServer result 0 > FriCAS (AXIOM fork) Computer Algebra System > Version: FriCAS 2008-05-28 > Timestamp: Friday September 19, 2008 at 17:51:46 > ----------------------------------------------------------------------------- > Issue )copyright to view copyright notices. > Issue )summary for a summary of useful system commands. > Issue )quit to leave FriCAS and return to shell. > ----------------------------------------------------------------------------- > > (1) -> > (1) -> > Value = (LAMBDA-CLOSURE () () () (X &OPTIONAL ARGS) > (COND > ((AND (EQ X '|startKeyedMsg|) > (OR (EQ (CAR ARGS) 'S2GL0012) > (EQ (CAR ARGS) 'S2GL0013) > (EQ (CAR ARGS) 'S2GL0014))) > (FORMAT T "<|startTypeTime|>~%")) > ((AND (EQ X '|endOfKeyedMsg|) > (OR (EQ (CAR ARGS) 'S2GL0012) > (EQ (CAR ARGS) 'S2GL0013) > (EQ (CAR ARGS) 'S2GL0014))) > (FORMAT T "<|endOfTypeTime|>~%")) > (T (FORMAT T "<~S>~%" X)))) > (1) -> 11111 > > (1) 11111 > Type: > PositiveInteger > (2) -> 22222 > > (2) 22222 > Type: > PositiveInteger > (3) -> > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
