diff options
Diffstat (limited to 'editors/texmacs')
| -rw-r--r-- | editors/texmacs/Makefile | 8 | ||||
| -rw-r--r-- | editors/texmacs/distinfo | 4 | ||||
| -rw-r--r-- | editors/texmacs/pkg-plist | 244 |
3 files changed, 167 insertions, 89 deletions
diff --git a/editors/texmacs/Makefile b/editors/texmacs/Makefile index 10739c870ef0..d5d6769627c2 100644 --- a/editors/texmacs/Makefile +++ b/editors/texmacs/Makefile @@ -6,9 +6,9 @@ # PORTNAME= texmacs -PORTVERSION= 1.0.7.13 +PORTVERSION= 1.0.7.14 CATEGORIES= editors print -MASTER_SITES= http://www.texmacs.org/Download/ftp/tmftp/source/ \ +MASTER_SITES= ftp://ftp.texmacs.org/TeXmacs/tmftp/source/ \ http://www.predatorlabs.net/dl/ DISTNAME= TeXmacs-${PORTVERSION}-src @@ -95,9 +95,10 @@ post-patch: @${GREP} -lR "#!/bin/bash" ${WRKSRC} | ${XARGS} ${REINPLACE_CMD} -e \ 's|#!/bin/bash|#!/bin/sh|g' @${FIND} ${WRKSRC} -name \*.bak -delete + @${FIND} ${WRKSRC} -name \*.DS_Store -delete @${REINPLACE_CMD} -e 's|ICONV_LDFLAGS/-liconv|ICONV_LDFLAGS|' \ ${WRKSRC}/configure - #fix for namespace clash with Qt3 + @ #fix for namespace clash with Qt3 @${REINPLACE_CMD} -e 's|qdrawutil.h|qt4/Qt/qdrawutil.h|' \ ${WRKSRC}/src/Plugins/Qt/QTMStyle.cpp @@ -106,3 +107,4 @@ post-install: ${CHOWN} -R ${SHAREOWN}:${SHAREGRP} ${DATADIR} .include <bsd.port.post.mk> + diff --git a/editors/texmacs/distinfo b/editors/texmacs/distinfo index d78c09ba5dac..f57e3a5f14b0 100644 --- a/editors/texmacs/distinfo +++ b/editors/texmacs/distinfo @@ -1,2 +1,2 @@ -SHA256 (TeXmacs-1.0.7.13-src.tar.gz) = 8be4a7477e60453cfda04f34f9997aae7ffe865fa65dd768f312139d79f88e44 -SIZE (TeXmacs-1.0.7.13-src.tar.gz) = 14985824 +SHA256 (TeXmacs-1.0.7.14-src.tar.gz) = c19a49ea35f0e3c83fafa3c81e87e2d955d9cf4f297672eeaa557274a1ab95ae +SIZE (TeXmacs-1.0.7.14-src.tar.gz) = 14963486 diff --git a/editors/texmacs/pkg-plist b/editors/texmacs/pkg-plist index 874d838853fc..26aa47fd0a3c 100644 --- a/editors/texmacs/pkg-plist +++ b/editors/texmacs/pkg-plist @@ -2561,86 +2561,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/24x24/tm_back.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_cancel.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_cancel_2.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_copy.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_cut.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_find.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_find_next.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_forward.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_language.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_larrow.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_larrow_bar.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_larrow_double.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_new.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_open.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_open_bis.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_paste.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_print.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_rarrow.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_rarrow_bar.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_rarrow_double.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_redo.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_reload.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_replace.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_save.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_spell.png -share/TeXmacs/misc/pixmaps/modern/24x24/tm_undo.png +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 @@ -2998,6 +3063,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 @@ -3302,6 +3371,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 @@ -3309,6 +3379,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 @@ -3661,6 +3732,10 @@ share/TeXmacs/texts/test/overview.tm @dirrm share/TeXmacs/plugins/dratex/examples @dirrm share/TeXmacs/plugins/dratex/doc @dirrm share/TeXmacs/plugins/dratex +@dirrm share/TeXmacs/plugins/coq/progs +@dirrm share/TeXmacs/plugins/coq/packages/session +@dirrm share/TeXmacs/plugins/coq/packages +@dirrm share/TeXmacs/plugins/coq @dirrm share/TeXmacs/plugins/cadabra/progs @dirrm share/TeXmacs/plugins/cadabra/doc @dirrm share/TeXmacs/plugins/cadabra @@ -3691,12 +3766,13 @@ share/TeXmacs/texts/test/overview.tm @dirrm share/TeXmacs/misc/sounds @dirrm share/TeXmacs/misc/pixmaps/traditional/--x17 @dirrm share/TeXmacs/misc/pixmaps/traditional +@dirrm share/TeXmacs/misc/pixmaps/modern/24x24/main @dirrm share/TeXmacs/misc/pixmaps/modern/24x24 +@dirrm share/TeXmacs/misc/pixmaps/modern/20x20/mode +@dirrm share/TeXmacs/misc/pixmaps/modern/20x20 +@dirrm share/TeXmacs/misc/pixmaps/modern/16x16/focus +@dirrm share/TeXmacs/misc/pixmaps/modern/16x16 @dirrm share/TeXmacs/misc/pixmaps/modern -@dirrm share/TeXmacs/misc/pixmaps/alternate/48x48 -@dirrm share/TeXmacs/misc/pixmaps/alternate/32x32 -@dirrm share/TeXmacs/misc/pixmaps/alternate/24x24 -@dirrm share/TeXmacs/misc/pixmaps/alternate @dirrm share/TeXmacs/misc/pixmaps @dirrm share/TeXmacs/misc/patterns @dirrm share/TeXmacs/misc/mime |