Comments on: MathWiki conference II http://slawekk.wordpress.com/2008/01/05/mathwiki-conference-ii/ Just another WordPress.com weblog Fri, 04 Jul 2008 14:00:42 +0000 http://wordpress.org/?v=MU By: nicolas http://slawekk.wordpress.com/2008/01/05/mathwiki-conference-ii/#comment-27 nicolas Wed, 23 Apr 2008 12:17:58 +0000 http://slawekk.wordpress.com/2008/01/05/mathwiki-conference-ii/#comment-27 "I am curious what was the rationale for selecting Eclipse for the Proof General basis, instead of for example creating a GNU TeXmacs PGIP plugin. TeXmacs has excellent support for mathematical typesetting and is specially designed to be a front end to other programs, currently mostly Computer Algebra Systems." I can see why this would be a good choice. Developing for eclipse is seen from the pov of contributors as an investment they might do for self-educational purpose as this platfom goes beyond just PG. Also, there is a broad developper base that is already familiar with it. Althouh it is not so self evident and there is quite a threshold..) it is clearly more sexy from the writer perspective than any other platform. “I am curious what was the rationale for selecting Eclipse for the Proof General basis, instead of for example creating a GNU TeXmacs PGIP plugin. TeXmacs has excellent support for mathematical typesetting and is specially designed to be a front end to other programs, currently mostly Computer Algebra Systems.”

I can see why this would be a good choice.
Developing for eclipse is seen from the pov of contributors as an investment they might do for self-educational purpose as this platfom goes beyond just PG.
Also, there is a broad developper base that is already familiar with it.
Althouh it is not so self evident and there is quite a threshold..) it is clearly more sexy from the writer perspective than any other platform.

]]>