update to 1.0.7.14

changes:
-New icons
-Many bug fixes
-Improved extensible arrows

3 files changed, 164 insertions, 62 deletions

diff --git a/editors/TeXmacs-devel/Makefile b/editors/TeXmacs-devel/Makefile
index 887d2c46b16..797ab1de615 100644
--- a/editors/TeXmacs-devel/Makefile
+++ b/editors/TeXmacs-devel/Makefile
@@ -1,8 +1,7 @@
-# $NetBSD: Makefile,v 1.4 2011/11/01 06:01:05 sbd Exp $
+# $NetBSD: Makefile,v 1.5 2011/11/16 20:07:36 drochner Exp $
 
-DISTNAME=		TeXmacs-1.0.7.12-src
+DISTNAME=		TeXmacs-1.0.7.14-src
 PKGNAME=		${DISTNAME:S/-src//}
-PKGREVISION=		1
 CATEGORIES=		editors
 MASTER_SITES=		ftp://ftp.texmacs.org/TeXmacs/tmftp/source/
 
diff --git a/editors/TeXmacs-devel/PLIST b/editors/TeXmacs-devel/PLIST
index 0f30164dcf0..8e78dfd04c5 100644
--- a/editors/TeXmacs-devel/PLIST
+++ b/editors/TeXmacs-devel/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.2 2011/09/12 16:59:25 drochner Exp $
+@comment $NetBSD: PLIST,v 1.3 2011/11/16 20:07:36 drochner Exp $
 bin/fig2ps
 bin/texmacs
 include/TeXmacs.h
@@ -2214,6 +2214,8 @@ share/TeXmacs/fonts/tfm/tc/tctt6.tfm
 share/TeXmacs/fonts/tfm/tc/tctt7.tfm
 share/TeXmacs/fonts/tfm/tc/tctt8.tfm
 share/TeXmacs/fonts/tfm/tc/tctt9.tfm
+share/TeXmacs/fonts/type1/.DS_Store
+share/TeXmacs/fonts/type1/._.DS_Store
 share/TeXmacs/fonts/type1/adobe/courier/pcrb8a.pfb
 share/TeXmacs/fonts/type1/adobe/courier/pcrbi8a.pfb
 share/TeXmacs/fonts/type1/adobe/courier/pcrbo8a.pfb
@@ -2404,6 +2406,8 @@ share/TeXmacs/fonts/type1/la/lasx1000.pfb
 share/TeXmacs/fonts/type1/la/lati1000.pfb
 share/TeXmacs/fonts/type1/la/latt1000.pfb
 share/TeXmacs/fonts/type1/la/laxc1000.pfb
+share/TeXmacs/fonts/type1/math/.DS_Store
+share/TeXmacs/fonts/type1/math/._.DS_Store
 share/TeXmacs/fonts/type1/math/bbm10.pfb
 share/TeXmacs/fonts/type1/math/bbm7.pfb
 share/TeXmacs/fonts/type1/math/bbmbx10.pfb
@@ -2564,60 +2568,151 @@ share/TeXmacs/misc/pixmaps/TeXmacs-old.xpm
 share/TeXmacs/misc/pixmaps/TeXmacs-sigma.xpm
 share/TeXmacs/misc/pixmaps/TeXmacs-solid.xpm
 share/TeXmacs/misc/pixmaps/TeXmacs.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_back.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_cancel.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_copy.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_cut.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_find.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_find_next.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_forward.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_language.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_new.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_open.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_paste.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_print.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_redo.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_reload.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_replace.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_save.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_spell.xpm
-share/TeXmacs/misc/pixmaps/alternate/24x24/tm_undo.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_back.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_cancel.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_copy.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_cut.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_find.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_find_next.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_forward.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_language.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_new.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_open.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_paste.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_print.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_redo.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_reload.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_replace.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_save.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_spell.xpm
-share/TeXmacs/misc/pixmaps/alternate/32x32/tm_undo.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_back.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_cancel.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_copy.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_cut.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_find.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_find_next.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_forward.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_language.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_new.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_open.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_paste.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_print.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_redo.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_reload.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_replace.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_save.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_spell.xpm
-share/TeXmacs/misc/pixmaps/alternate/48x48/tm_undo.xpm
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add_2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_both.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_first.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_second.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_background.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_border.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_pos.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_special.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_wrap.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_down.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_left.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_right.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_up.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_emphasize.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_left.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_right.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_delete.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_help.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_down.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_left.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_right.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_up.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around_2.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_math.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_name.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_numbered.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_root_index.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_sample.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_sansserif.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_set_properties.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_show_hidden.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_first.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_last.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_next.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_previous.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_strong.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_table_parwidth.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_verbatim.png
+share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_under.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_activate.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_alignment.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_animate.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arc_mode.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arrow.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_assign.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bbb.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigaround.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigop.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binop.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binrel.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bold.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cal.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_carc_mode.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_chapter.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cline_mode.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_color.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_compact.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cspline_mode.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ctrl_flow.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_edit_props.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_emphasize.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_equal.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_floatpos.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_fraction.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_frak.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_geometry.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_grid.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_greek.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_group.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_move.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_rotate.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_zoom.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_image.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_index.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_italic.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_lambda.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_line_mode.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_link.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_list.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_preferences.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_style.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_syntax.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mathbold.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_miscsymb.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_op.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_pageins.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parindent.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parstyle.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_point_mode.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prime.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_program.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prominent.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_quote.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_root.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sample.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sansserif.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_section.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_shell.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_smallcaps.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_spline_mode.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_stretch.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_strong.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_subsup.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_switch.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_table.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textat_mode.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textual.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_theorem.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_three.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tuple.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_typewriter.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_unequal.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_verbatim.png
+share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_wide.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_back.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel_2.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_copy.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cut.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find_next.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_forward.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_language.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_bar.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_double.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_new.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open_bis.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_paste.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_print.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_bar.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_double.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_redo.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_reload.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_replace.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_save.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_spell.png
+share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_undo.png
 share/TeXmacs/misc/pixmaps/traditional/--x17/tm_abstract.xpm
 share/TeXmacs/misc/pixmaps/traditional/--x17/tm_activate.xpm
 share/TeXmacs/misc/pixmaps/traditional/--x17/tm_acute.xpm
@@ -2975,6 +3070,10 @@ share/TeXmacs/plugins/axiom/progs/init-axiom.scm
 share/TeXmacs/plugins/cadabra/doc/cadabra-abstract.en.tm
 share/TeXmacs/plugins/cadabra/doc/cadabra.en.tm
 share/TeXmacs/plugins/cadabra/progs/init-cadabra.scm
+share/TeXmacs/plugins/coq/packages/session/coq.ts
+share/TeXmacs/plugins/coq/progs/coq-edit.scm
+share/TeXmacs/plugins/coq/progs/coq-kbd.scm
+share/TeXmacs/plugins/coq/progs/init-coq.scm
 share/TeXmacs/plugins/dratex/doc/dratex-demo.en.tm
 share/TeXmacs/plugins/dratex/doc/dratex.en.tm
 share/TeXmacs/plugins/dratex/latex/AlDraTex.sty
@@ -2991,6 +3090,8 @@ share/TeXmacs/plugins/feynmf/doc/feynmf-todo.en.tm
 share/TeXmacs/plugins/feynmf/doc/feynmf.en.tm
 share/TeXmacs/plugins/feynmf/progs/init-feynmf.scm
 share/TeXmacs/plugins/feynmf/share/feynmf-styles
+share/TeXmacs/plugins/fricas/progs/._init-fricas.scm
+share/TeXmacs/plugins/fricas/progs/init-fricas.scm
 share/TeXmacs/plugins/giac/doc/giac-abstract.en.tm
 share/TeXmacs/plugins/giac/doc/giac.en.tm
 share/TeXmacs/plugins/giac/packages/session/giac.ts
@@ -3277,6 +3378,7 @@ share/TeXmacs/progs/generic/generic-edit.scm
 share/TeXmacs/progs/generic/generic-kbd.scm
 share/TeXmacs/progs/generic/generic-menu.scm
 share/TeXmacs/progs/generic/insert-menu.scm
+share/TeXmacs/progs/graphics/graphics-drd.scm
 share/TeXmacs/progs/graphics/graphics-edit.scm
 share/TeXmacs/progs/graphics/graphics-env.scm
 share/TeXmacs/progs/graphics/graphics-group.scm
@@ -3284,6 +3386,7 @@ share/TeXmacs/progs/graphics/graphics-kbd.scm
 share/TeXmacs/progs/graphics/graphics-main.scm
 share/TeXmacs/progs/graphics/graphics-menu.scm
 share/TeXmacs/progs/graphics/graphics-object.scm
+share/TeXmacs/progs/graphics/graphics-single.scm
 share/TeXmacs/progs/graphics/graphics-utils.scm
 share/TeXmacs/progs/init-buffer.scm
 share/TeXmacs/progs/init-texmacs.scm
diff --git a/editors/TeXmacs-devel/distinfo b/editors/TeXmacs-devel/distinfo
index cbe21f48231..ef18094fa35 100644
--- a/editors/TeXmacs-devel/distinfo
+++ b/editors/TeXmacs-devel/distinfo
@@ -1,8 +1,8 @@
-$NetBSD: distinfo,v 1.2 2011/09/12 16:59:25 drochner Exp $
+$NetBSD: distinfo,v 1.3 2011/11/16 20:07:36 drochner Exp $
 
-SHA1 (TeXmacs-1.0.7.12-src.tar.gz) = 9a6560dc2d8e685b97f4afe468b38d89bd29ca9d
-RMD160 (TeXmacs-1.0.7.12-src.tar.gz) = 75d0786bd4585d21d5603869a11536cadd2dd0c5
-Size (TeXmacs-1.0.7.12-src.tar.gz) = 14965836 bytes
+SHA1 (TeXmacs-1.0.7.14-src.tar.gz) = 5bbe0458d2ab73fa8cea8e12fee788b17b6f279a
+RMD160 (TeXmacs-1.0.7.14-src.tar.gz) = 02be98d97448b8f2ccb898f046689c22e37d88a4
+Size (TeXmacs-1.0.7.14-src.tar.gz) = 14963486 bytes
 SHA1 (patch-aa) = 95b9e42fe1ff343e891fe299382c3647636eec99
 SHA1 (patch-ac) = 21810d4f9d5e6525a86ec2d0c347dcfd1c9e31c8
 SHA1 (patch-ad) = 62fee9dd4e3f0102b0741e83c1f7bf637dd8d6e8