Re: [Axiom-developer] [fricas-devel] Re: bug in books/tangle.lisp

2013-11-16 Thread Paul Onions
Hello jiazhaoconga, On 16 Nov 2013, at 15:46, jiazhaoconga wrote: axiom-environment keeps a list of axiom symbols, https://bitbucket.org/pdo/axiom-environment/src/3d58f5ff7412cb519bbfb70f3cc0711931e216e9/data/?at=default and the author updates it a few times, but there is no documentation about

Re: [Axiom-developer] [fricas-devel] Re: bug in books/tangle.lisp

2013-11-16 Thread Ralf Hemmecke
On 11/16/2013 04:46 PM, jiazhaoconga wrote: >> Anyway, you have probably seen keywords.sh. >> https://github.com/hemmecke/vim-panaxiom/tree/master/axiom > > axiom-environment keeps a list of axiom symbols, > https://bitbucket.org/pdo/axiom-environment/src/3d58f5ff7412cb519bbfb70f3cc0711931e216e9

Re: [Axiom-developer] bug in books/tangle.lisp

2013-11-16 Thread u1204
First I need to mention the fact that Axiom refers to the Axiom project, not to the FriCAS project. Please don't confuse these two as they are distinct projects. >axiom-environment keeps a list of axiom symbols, >https://bitbucket.org/pdo/axiom-environment/src/3d58f5ff7412cb519bbfb70f3cc0711931e2

Re: [Axiom-developer] bug in books/tangle.lisp

2013-11-16 Thread u1204
books/tangle.lisp has some support code for automating axiom-specific tasks. This support code is GCL specific as Axiom lives on GCL. This has been fixed with read-time conditionals. The books/tangle code is now useful in any common lisp. If you're interested I also have tangle written in C which

Re: [Axiom-developer] bug in books/tangle.lisp

2013-11-16 Thread jiazhaoconga
> Anyway, you have probably seen keywords.sh. > https://github.com/hemmecke/vim-panaxiom/tree/master/axiom axiom-environment keeps a list of axiom symbols, https://bitbucket.org/pdo/axiom-environment/src/3d58f5ff7412cb519bbfb70f3cc0711931e216e9/data/?at=default and the author updates it a few time

Re: [Axiom-developer] bug in books/tangle.lisp

2013-11-16 Thread Ralf Hemmecke
Hi, Oh, fine... I'd really appreciate an improvement of fricas.el. Where is your github repo? Anyway, you have probably seen keywords.sh. https://github.com/hemmecke/vim-panaxiom/tree/master/axiom I'm sure that could be used in the build-process of any of the panaxioms in order to generated the