← Back to branch summary

~ubuntu-branches/ubuntu/quantal/texmacs/quantal

~ubuntu-branches/ubuntu/quantal/texmacs/quantal

« back to all changes in this revision

Viewing changes to src/Classes/Mathematics/properties.hpp

Committer: Bazaar Package Importer
Author(s): Atsuhito KOHDA, Kamaraju Kusumanchi, kohda
Date: 2008-04-06 15:11:41 UTC
mfrom: (1.1.7 upstream) (4.1.1 lenny)
Revision ID: james.westby@ubuntu.com-20080406151141-w0sg20jnv86mlt6f

Tags: 1:1.0.6.14-1

http://bugs.debian.org/450499

http://bugs.debian.org/458685

http://bugs.debian.org/447083

[Kamaraju Kusumanchi <kamaraju@gmail.com>]
* New upstream release
* 01_american.dpatch is updated
* Since thread support in guile-1.8 is now disabled, the segmentation faults
should not arise anymore. More info at #439923. (Closes: #450499, #458685)
[kohda]
* This version fixed menu problem. (Closes: #447083)
* Reverted orig.tar.gz to the upstream tarball.

files added:
#configure.in#

misc/bundle

misc/bundle/Info.plist

misc/bundle/PkgInfo

misc/bundle/TeXmacs

misc/bundle/TeXmacs.icns

src/Data/Observers

src/Data/Observers/ip_observer.cpp

src/Data/Observers/link.cpp

src/Data/Observers/link.hpp

src/Data/Observers/list_observer.cpp

src/Data/Observers/tree_pointer.cpp

src/Data/Observers/tree_position.cpp

src/Data/String/converter.cpp

src/Data/String/converter.hpp

src/Data/Tmfs

src/Data/Tmfs/collection.cpp

src/Data/Tmfs/disk_table.cpp

src/Data/Tmfs/disk_table.hpp

src/Data/Tmfs/properties.cpp

src/Data/Tmfs/solutions.cpp

src/Data/Tmfs/tmfs.hpp

src/Data/Tmfs/tmfs_convert.cpp

src/Data/Tmfs/tmfs_file.cpp

src/Data/Tmfs/tmfs_permissions.cpp

src/Data/Tmfs/tmfs_properties.cpp

src/Data/Tmfs/tmfs_table.cpp

src/Data/Tmfs/tmfs_versioning.cpp

src/Data/Tmfs/transaction.cpp

src/Graphics

src/Graphics/Bitmap_fonts

src/Graphics/Bitmap_fonts/bitmap_font.cpp

src/Graphics/Bitmap_fonts/bitmap_font.hpp

src/Graphics/Bitmap_fonts/glyph.cpp

src/Graphics/Bitmap_fonts/glyph_ops.cpp

src/Graphics/Bitmap_fonts/glyph_shrink.cpp

src/Graphics/Fonts

src/Graphics/Fonts/charmap.cpp

src/Graphics/Fonts/charmap.hpp

src/Graphics/Fonts/compound_font.cpp

src/Graphics/Fonts/find_font.cpp

src/Graphics/Fonts/font.cpp

src/Graphics/Fonts/font.hpp

src/Graphics/Fonts/math_font.cpp

src/Graphics/Fonts/translator.cpp

src/Graphics/Fonts/translator.hpp

src/Graphics/Fonts/virtual_font.cpp

src/Graphics/Gui

src/Graphics/Gui/event.hpp

src/Graphics/Gui/gui.hpp

src/Graphics/Gui/message.hpp

src/Graphics/Gui/widget.cpp

src/Graphics/Gui/widget.hpp

src/Graphics/Gui/window.hpp

src/Graphics/Mathematics

src/Graphics/Mathematics/ball.hpp

src/Graphics/Mathematics/function.hpp

src/Graphics/Mathematics/function_extra.hpp

src/Graphics/Mathematics/math_tree.cpp

src/Graphics/Mathematics/math_tree.hpp

src/Graphics/Mathematics/matrix.hpp

src/Graphics/Mathematics/operators.hpp

src/Graphics/Mathematics/polynomial.hpp

src/Graphics/Mathematics/properties.hpp

src/Graphics/Mathematics/test_math.cpp

src/Graphics/Mathematics/vector.hpp

src/Graphics/Renderer

src/Graphics/Renderer/page_type.cpp

src/Graphics/Renderer/page_type.hpp

src/Graphics/Renderer/printer.cpp

src/Graphics/Renderer/printer.hpp

src/Graphics/Renderer/renderer.cpp

src/Graphics/Renderer/renderer.hpp

src/Kernel

src/Kernel/Abstractions

src/Kernel/Abstractions/basic.cpp

src/Kernel/Abstractions/basic.hpp

src/Kernel/Abstractions/blackbox.hpp

src/Kernel/Abstractions/command.cpp

src/Kernel/Abstractions/command.hpp

src/Kernel/Abstractions/observer.cpp

src/Kernel/Abstractions/observer.hpp

src/Kernel/Abstractions/resource.hpp

src/Kernel/Containers

src/Kernel/Containers/array.cpp

src/Kernel/Containers/array.hpp

src/Kernel/Containers/hashfunc.cpp

src/Kernel/Containers/hashfunc.hpp

src/Kernel/Containers/hashmap.cpp

src/Kernel/Containers/hashmap.hpp

src/Kernel/Containers/hashmap_extra.cpp

src/Kernel/Containers/hashset.cpp

src/Kernel/Containers/hashset.hpp

src/Kernel/Containers/hashtree.cpp

src/Kernel/Containers/hashtree.hpp

src/Kernel/Containers/iterator.cpp

src/Kernel/Containers/iterator.hpp

src/Kernel/Containers/list.cpp

src/Kernel/Containers/list.hpp

src/Kernel/Containers/ntuple.hpp

src/Kernel/Containers/promise.hpp

src/Kernel/Containers/rel_hashmap.cpp

src/Kernel/Containers/rel_hashmap.hpp

src/Kernel/Types

src/Kernel/Types/parse_string.cpp

src/Kernel/Types/parse_string.hpp

src/Kernel/Types/path.cpp

src/Kernel/Types/path.hpp

src/Kernel/Types/rectangles.cpp

src/Kernel/Types/rectangles.hpp

src/Kernel/Types/space.cpp

src/Kernel/Types/space.hpp

src/Kernel/Types/string.cpp

src/Kernel/Types/string.hpp

src/Kernel/Types/tab.cpp

src/Kernel/Types/tab.hpp

src/Kernel/Types/tree.cpp

src/Kernel/Types/tree.hpp

src/Kernel/Types/tree_label.cpp

src/Kernel/Types/tree_label.hpp

src/Plugins/Cocoa

src/Plugins/Cocoa/English.lproj

src/Plugins/Cocoa/English.lproj/InfoPlist.strings

src/Plugins/Cocoa/English.lproj/MainMenu.nib

src/Plugins/Cocoa/English.lproj/MainMenu.nib/classes.nib

src/Plugins/Cocoa/English.lproj/MainMenu.nib/info.nib

src/Plugins/Cocoa/English.lproj/MainMenu.nib/keyedobjects.nib

src/Plugins/Cocoa/English.lproj/Window.nib

src/Plugins/Cocoa/English.lproj/Window.nib/classes.nib

src/Plugins/Cocoa/English.lproj/Window.nib/info.nib

src/Plugins/Cocoa/English.lproj/Window.nib/keyedobjects.nib

src/Plugins/Cocoa/InputDialog.nib

src/Plugins/Cocoa/InputDialog.nib/designable.nib

src/Plugins/Cocoa/InputDialog.nib/keyedobjects.nib

src/Plugins/Cocoa/InputDialog.xib

src/Plugins/Cocoa/InputPanel.nib

src/Plugins/Cocoa/InputPanel.nib/classes.nib

src/Plugins/Cocoa/InputPanel.nib/info.nib

src/Plugins/Cocoa/InputPanel.nib/keyedobjects.nib

src/Plugins/Cocoa/Segment.nib

src/Plugins/Cocoa/TMButtonsController.h

src/Plugins/Cocoa/TMButtonsController.m

src/Plugins/Cocoa/TMView.h

src/Plugins/Cocoa/TMView.mm

src/Plugins/Cocoa/aqua_basic_widgets.h

src/Plugins/Cocoa/aqua_dialogues.h

src/Plugins/Cocoa/aqua_dialogues.mm

src/Plugins/Cocoa/aqua_gui.h

src/Plugins/Cocoa/aqua_gui.mm

src/Plugins/Cocoa/aqua_menu.h

src/Plugins/Cocoa/aqua_menu.mm

src/Plugins/Cocoa/aqua_other_widgets.h

src/Plugins/Cocoa/aqua_renderer.h

src/Plugins/Cocoa/aqua_renderer.mm

src/Plugins/Cocoa/aqua_rgb.h

src/Plugins/Cocoa/aqua_simple_widget.h

src/Plugins/Cocoa/aqua_utilities.h

src/Plugins/Cocoa/aqua_utilities.mm

src/Plugins/Cocoa/aqua_widget.h

src/Plugins/Cocoa/aqua_widget.mm

src/Plugins/Cocoa/mac_cocoa.h

src/Plugins/Cocoa/mac_utilities.mm

src/Plugins/Widkit

src/Plugins/Widkit/Attribute

src/Plugins/Widkit/Attribute/attribute_widget.cpp

src/Plugins/Widkit/Basic

src/Plugins/Widkit/Basic/basic_widget.cpp

src/Plugins/Widkit/Basic/layout.cpp

src/Plugins/Widkit/Basic/simple_wk_widget.cpp

src/Plugins/Widkit/Basic/widkit_wrapper.cpp

src/Plugins/Widkit/Basic/window_widget.cpp

src/Plugins/Widkit/Basic/wk_widget.cpp

src/Plugins/Widkit/Button

src/Plugins/Widkit/Button/button_widget.cpp

src/Plugins/Widkit/Button/button_widget.hpp

src/Plugins/Widkit/Button/popup_button.cpp

src/Plugins/Widkit/Button/popup_widget.cpp

src/Plugins/Widkit/Composite

src/Plugins/Widkit/Composite/array_widget.cpp

src/Plugins/Widkit/Composite/composite_widget.cpp

src/Plugins/Widkit/Composite/list_widget.cpp

src/Plugins/Widkit/Composite/switch_widget.cpp

src/Plugins/Widkit/Composite/tile_widget.cpp

src/Plugins/Widkit/Event

src/Plugins/Widkit/Event/attribute_event.cpp

src/Plugins/Widkit/Event/attribute_event.hpp

src/Plugins/Widkit/Event/basic_event.cpp

src/Plugins/Widkit/Event/basic_event.hpp

src/Plugins/Widkit/Event/composite_event.cpp

src/Plugins/Widkit/Event/composite_event.hpp

src/Plugins/Widkit/Event/event_codes.hpp

src/Plugins/Widkit/Event/scroll_event.cpp

src/Plugins/Widkit/Event/scroll_event.hpp

src/Plugins/Widkit/Input

src/Plugins/Widkit/Input/input_widget.cpp

src/Plugins/Widkit/Input/inputs_list_widget.cpp

src/Plugins/Widkit/Misc

src/Plugins/Widkit/Misc/balloon_widget.cpp

src/Plugins/Widkit/Misc/file_chooser_widget.cpp

src/Plugins/Widkit/Misc/texmacs_widget.cpp

src/Plugins/Widkit/Misc/wait_widget.cpp

src/Plugins/Widkit/Output

src/Plugins/Widkit/Output/glue_widget.cpp

src/Plugins/Widkit/Output/separator_widget.cpp

src/Plugins/Widkit/Output/text_widget.cpp

src/Plugins/Widkit/Output/xpm_widget.cpp

src/Plugins/Widkit/Scrollable

src/Plugins/Widkit/Scrollable/canvas_widget.cpp

src/Plugins/Widkit/Scrollable/scroll_widget.cpp

src/Plugins/Widkit/Scrollable/scrollable_widget.cpp

src/Plugins/Widkit/Scrollable/scrollbar_widget.cpp

src/Plugins/Widkit/attribute_widget.hpp

src/Plugins/Widkit/basic_widget.hpp

src/Plugins/Widkit/composite_widget.hpp

src/Plugins/Widkit/event.hpp

src/Plugins/Widkit/layout.hpp

src/Plugins/Widkit/scroll_widget.hpp

src/Plugins/Widkit/simple_wk_widget.hpp

src/Plugins/Widkit/wk_widget.hpp

src/Plugins/X11

src/Plugins/X11/x_drawable.cpp

src/Plugins/X11/x_drawable.hpp

src/Plugins/X11/x_font.cpp

src/Plugins/X11/x_font.hpp

src/Plugins/X11/x_gui.cpp

src/Plugins/X11/x_gui.hpp

src/Plugins/X11/x_init.cpp

src/Plugins/X11/x_loop.cpp

src/Plugins/X11/x_shadow.cpp

src/Plugins/X11/x_window.cpp

src/Plugins/X11/x_window.hpp

src/System/Language

src/System/Language/dictionary.cpp

src/System/Language/dictionary.hpp

src/System/Language/hyphenate.cpp

src/System/Language/hyphenate.hpp

src/System/Language/impl_language.hpp

src/System/Language/language.cpp

src/System/Language/language.hpp

src/System/Language/math_language.cpp

src/System/Language/scheme_language.cpp

src/System/Language/text_language.cpp

src/System/Language/verb_language.cpp

src/System/Link/connect.hpp

src/System/Link/connection.cpp

src/Texmacs/Server/tm_config.cpp

src/Texmacs/Window

src/Texmacs/Window/tm_button.cpp

src/Texmacs/Window/tm_dialogue.cpp

src/Texmacs/Window/tm_frame.cpp

src/Texmacs/Window/tm_window.cpp

src/Texmacs/tm_frame.hpp

src/Texmacs/tm_window.hpp

files removed:
TeXmacs/doc/devel/format/language

TeXmacs/doc/devel/format/primitives

TeXmacs/doc/devel/scheme/process

TeXmacs/progs/graphics/graphics-env.scm.orig

src/Classes

src/Classes/Abstract

src/Classes/Abstract/basic.cpp

src/Classes/Abstract/basic.hpp

src/Classes/Abstract/blackbox.hpp

src/Classes/Abstract/command.cpp

src/Classes/Abstract/command.hpp

src/Classes/Abstract/observer.cpp

src/Classes/Abstract/observer.hpp

src/Classes/Atomic

src/Classes/Atomic/ip_observer.cpp

src/Classes/Atomic/link.cpp

src/Classes/Atomic/link.hpp

src/Classes/Atomic/list_observer.cpp

src/Classes/Atomic/parse_string.cpp

src/Classes/Atomic/parse_string.hpp

src/Classes/Atomic/path.cpp

src/Classes/Atomic/path.hpp

src/Classes/Atomic/rectangles.cpp

src/Classes/Atomic/rectangles.hpp

src/Classes/Atomic/space.cpp

src/Classes/Atomic/space.hpp

src/Classes/Atomic/string.cpp

src/Classes/Atomic/string.hpp

src/Classes/Atomic/tab.cpp

src/Classes/Atomic/tab.hpp

src/Classes/Atomic/tree.cpp

src/Classes/Atomic/tree.hpp

src/Classes/Atomic/tree_label.cpp

src/Classes/Atomic/tree_label.hpp

src/Classes/Atomic/tree_pointer.cpp

src/Classes/Atomic/tree_position.cpp

src/Classes/Compound

src/Classes/Compound/array.cpp

src/Classes/Compound/array.hpp

src/Classes/Compound/hashfunc.cpp

src/Classes/Compound/hashfunc.hpp

src/Classes/Compound/hashmap.cpp

src/Classes/Compound/hashmap.hpp

src/Classes/Compound/hashmap_extra.cpp

src/Classes/Compound/hashset.cpp

src/Classes/Compound/hashset.hpp

src/Classes/Compound/hashtree.cpp

src/Classes/Compound/hashtree.hpp

src/Classes/Compound/iterator.cpp

src/Classes/Compound/iterator.hpp

src/Classes/Compound/list.cpp

src/Classes/Compound/list.hpp

src/Classes/Compound/rel_hashmap.cpp

src/Classes/Compound/rel_hashmap.hpp

src/Classes/Mathematics

src/Classes/Mathematics/ball.hpp

src/Classes/Mathematics/function.hpp

src/Classes/Mathematics/function_extra.hpp

src/Classes/Mathematics/math_tree.cpp

src/Classes/Mathematics/math_tree.hpp

src/Classes/Mathematics/matrix.hpp

src/Classes/Mathematics/operators.hpp

src/Classes/Mathematics/polynomial.hpp

src/Classes/Mathematics/properties.hpp

src/Classes/Mathematics/test_math.cpp

src/Classes/Mathematics/vector.hpp

src/Edit/Editor/edit_typeset.cpp.bak

src/Resource

src/Resource/Bitmap_fonts

src/Resource/Bitmap_fonts/bitmap_font.cpp

src/Resource/Bitmap_fonts/glyph.cpp

src/Resource/Bitmap_fonts/glyph_ops.cpp

src/Resource/Bitmap_fonts/glyph_shrink.cpp

src/Resource/Charmap

src/Resource/Charmap/charmap.cpp

src/Resource/Connections

src/Resource/Connections/connection.cpp

src/Resource/Converters

src/Resource/Converters/converter.cpp

src/Resource/Dictionaries

src/Resource/Dictionaries/dictionary.cpp

src/Resource/Fonts

src/Resource/Fonts/compound_font.cpp

src/Resource/Fonts/find_font.cpp

src/Resource/Fonts/font.cpp

src/Resource/Fonts/math_font.cpp

src/Resource/Fonts/virtual_font.cpp

src/Resource/Languages

src/Resource/Languages/hyphenate.cpp

src/Resource/Languages/hyphenate.hpp

src/Resource/Languages/impl_language.hpp

src/Resource/Languages/language.cpp

src/Resource/Languages/math_language.cpp

src/Resource/Languages/scheme_language.cpp

src/Resource/Languages/text_language.cpp

src/Resource/Languages/verb_language.cpp

src/Resource/Translators

src/Resource/Translators/translator.cpp

src/Resource/bitmap_font.hpp

src/Resource/charmap.hpp

src/Resource/connect.hpp

src/Resource/converter.hpp

src/Resource/dictionary.hpp

src/Resource/font.hpp

src/Resource/language.hpp

src/Resource/resource.hpp

src/Resource/translator.hpp

src/System/Tmfs

src/System/Tmfs/collection.cpp

src/System/Tmfs/disk_table.cpp

src/System/Tmfs/disk_table.hpp

src/System/Tmfs/properties.cpp

src/System/Tmfs/solutions.cpp

src/System/Tmfs/tmfs.hpp

src/System/Tmfs/tmfs_convert.cpp

src/System/Tmfs/tmfs_file.cpp

src/System/Tmfs/tmfs_permissions.cpp

src/System/Tmfs/tmfs_properties.cpp

src/System/Tmfs/tmfs_table.cpp

src/System/Tmfs/tmfs_versioning.cpp

src/System/Tmfs/transaction.cpp

src/Texmacs/Configure

src/Texmacs/Configure/tm_config.cpp

src/Texmacs/Layout

src/Texmacs/Layout/tm_button.cpp

src/Texmacs/Layout/tm_menus.cpp

src/Texmacs/Layout/tm_widget.cpp

src/Texmacs/Scheme

src/Texmacs/Scheme/tm_scheme.cpp

src/Texmacs/tm_layout.hpp

src/Texmacs/tm_scheme.hpp

src/Texmacs/tm_widget.hpp

src/Typeset/Bridge/bridge.cpp.bak

src/Typeset/Bridge/bridge_argument.cpp.bak

src/Typeset/Bridge/bridge_compound.cpp.bak

src/Typeset/Bridge/typesetter.cpp.bak

src/Typeset/Env/env_exec.cpp.bak

src/Window

src/Window/Event

src/Window/Event/attribute_event.cpp

src/Window/Event/attribute_event.hpp

src/Window/Event/basic_event.cpp

src/Window/Event/basic_event.hpp

src/Window/Event/composite_event.cpp

src/Window/Event/composite_event.hpp

src/Window/Event/event_codes.hpp

src/Window/Event/scroll_event.cpp

src/Window/Event/scroll_event.hpp

src/Window/PsDevice

src/Window/PsDevice/page_type.cpp

src/Window/PsDevice/page_type.hpp

src/Window/PsDevice/printer.cpp

src/Window/PsDevice/printer.hpp

src/Window/PsDevice/ps_device.cpp

src/Window/Widget

src/Window/Widget/Attribute

src/Window/Widget/Attribute/attribute_widget.cpp

src/Window/Widget/Basic

src/Window/Widget/Basic/basic_widget.cpp

src/Window/Widget/Basic/layout.cpp

src/Window/Widget/Basic/widget.cpp

src/Window/Widget/Button

src/Window/Widget/Button/button_widget.cpp

src/Window/Widget/Button/button_widget.hpp

src/Window/Widget/Button/popup_button.cpp

src/Window/Widget/Button/popup_widget.cpp

src/Window/Widget/Composite

src/Window/Widget/Composite/array_widget.cpp

src/Window/Widget/Composite/composite_widget.cpp

src/Window/Widget/Composite/list_widget.cpp

src/Window/Widget/Composite/switch_widget.cpp

src/Window/Widget/Composite/tile_widget.cpp

src/Window/Widget/Input

src/Window/Widget/Input/input_widget.cpp

src/Window/Widget/Input/inputs_list_widget.cpp

src/Window/Widget/Misc

src/Window/Widget/Misc/balloon_widget.cpp

src/Window/Widget/Misc/file_chooser_widget.cpp

src/Window/Widget/Misc/wait_widget.cpp

src/Window/Widget/Output

src/Window/Widget/Output/glue_widget.cpp

src/Window/Widget/Output/separator_widget.cpp

src/Window/Widget/Output/text_widget.cpp

src/Window/Widget/Output/xpm_widget.cpp

src/Window/Widget/Scrollable

src/Window/Widget/Scrollable/canvas_widget.cpp

src/Window/Widget/Scrollable/scroll_widget.cpp

src/Window/Widget/Scrollable/scrollable_widget.cpp

src/Window/Widget/Scrollable/scrollbar_widget.cpp

src/Window/Widget/attribute_widget.hpp

src/Window/Widget/basic_widget.hpp

src/Window/Widget/composite_widget.hpp

src/Window/Widget/layout.hpp

src/Window/Widget/make_widget.hpp

src/Window/Widget/scroll_widget.hpp

src/Window/X

src/Window/X/x_display.cpp

src/Window/X/x_display.hpp

src/Window/X/x_drawable.cpp

src/Window/X/x_drawable.hpp

src/Window/X/x_font.cpp

src/Window/X/x_font.hpp

src/Window/X/x_init.cpp

src/Window/X/x_loop.cpp

src/Window/X/x_shadow.cpp

src/Window/X/x_window.cpp

src/Window/X/x_window.hpp

src/Window/display.hpp

src/Window/event.hpp

src/Window/ps_device.hpp

src/Window/widget.hpp

src/Window/window.hpp

files modified:
Makefile.in

TeXmacs/doc/about/authors/developers.en.tm

TeXmacs/doc/about/changes/change-log.en.tm

TeXmacs/doc/main/text/keyboard/man-text-kbd.de.tm

TeXmacs/doc/main/text/keyboard/man-text-kbd.en.tm

TeXmacs/doc/main/text/keyboard/man-text-kbd.es.tm

TeXmacs/doc/main/text/keyboard/man-text-kbd.fr.tm

TeXmacs/doc/main/text/keyboard/man-text-kbd.it.tm

TeXmacs/doc/main/text/keyboard/man-text-kbd.pl.tm

TeXmacs/doc/main/text/keyboard/man-text-kbd.pt.tm

TeXmacs/fonts/enc/adobe-math.enc

TeXmacs/fonts/enc/cmr.enc

TeXmacs/fonts/enc/rpsyr.enc

TeXmacs/langs/natural/dic/english-japanese.scm

TeXmacs/packages/environment/env-theorem.ts

TeXmacs/packages/example/vdh.ts

TeXmacs/packages/gui/gui.ts

TeXmacs/progs/convert/latex/latex-drd.scm

TeXmacs/progs/convert/latex/tmtex.scm

TeXmacs/progs/fonts/fonts-adobe.scm

TeXmacs/progs/graphics/graphics-edit.scm

TeXmacs/progs/graphics/graphics-env.scm

TeXmacs/progs/graphics/graphics-group.scm

TeXmacs/progs/graphics/graphics-kbd.scm

TeXmacs/progs/graphics/graphics-object.scm

TeXmacs/progs/graphics/graphics-utils.scm

TeXmacs/progs/kernel/gui/menu-widget.scm

TeXmacs/progs/text/text-kbd.scm

TeXmacs/progs/utils/library/cursor.scm

TeXmacs/styles/seminar.ts

configure

configure.in

debian/changelog

debian/control

debian/patches/01_american.dpatch

misc/rpm/TeXmacs.spec

misc/scripts/texmacs.in

plugins/maple/src/tm_maple_5.cpp

plugins/maxima/bin/maxima_detect

plugins/maxima/bin/tm_maxima

plugins/shell/Makefile

plugins/shell/src/tm_shell.cpp

src/Data/Convert/Tex/fromtex.cpp

src/Data/Convert/Texmacs/upgradetm.cpp

src/Data/String/analyze.cpp

src/Data/Tree/tree_cursor.cpp

src/Data/Tree/tree_traverse.cpp

src/Edit/Editor/edit_main.cpp

src/Edit/Editor/edit_main.hpp

src/Edit/Editor/edit_typeset.cpp

src/Edit/Interface/edit_cursor.cpp

src/Edit/Interface/edit_footer.cpp

src/Edit/Interface/edit_graphics.cpp

src/Edit/Interface/edit_graphics.hpp

src/Edit/Interface/edit_interface.cpp

src/Edit/Interface/edit_interface.hpp

src/Edit/Interface/edit_keyboard.cpp

src/Edit/Interface/edit_mouse.cpp

src/Edit/Interface/edit_repaint.cpp

src/Edit/Modify/edit_dynamic.cpp

src/Edit/Modify/edit_modify.cpp

src/Edit/Modify/edit_table.cpp

src/Edit/Process/edit_session.cpp

src/Edit/Replace/edit_search.cpp

src/Edit/Replace/edit_select.cpp

src/Edit/editor.hpp

src/Guile/Glue/build-glue-basic.scm

src/Guile/Glue/build-glue-editor.scm

src/Guile/Glue/build-glue-server.scm

src/Guile/Glue/glue.cpp

src/Guile/Glue/glue.hpp

src/Guile/Glue/glue_basic.cpp

src/Guile/Glue/glue_editor.cpp

src/Guile/Glue/glue_server.cpp

src/Guile/Scheme/evaluate.cpp

src/Guile/Scheme/object.cpp

src/Guile/Scheme/object.hpp

src/Plugins/Freetype/tt_face.cpp

src/Plugins/Freetype/tt_font.cpp

src/Plugins/Freetype/unicode_font.cpp

src/Plugins/Ispell/ispell.cpp

src/Plugins/Metafont/load_pk.cpp

src/Plugins/Metafont/load_tfm.cpp

src/Plugins/Metafont/tex_font.cpp

src/Plugins/Metafont/tex_rubber_font.cpp

src/Style/Environment/list_environment.cpp

src/Style/Environment/std_environment.cpp

src/Style/Evaluate/evaluate_macro.cpp

src/Style/Evaluate/evaluate_rewrite.cpp

src/Style/Evaluate/evaluate_textual.cpp

src/Style/Memorizer/clean_copy.cpp

src/System/Boot/init_texmacs.cpp

src/System/Classes/url.cpp

src/System/Classes/url.hpp

src/System/Files/file.hpp

src/System/Link/dyn_link.cpp

src/System/Link/pipe_link.cpp

src/System/Link/texmacs_server.cpp

src/System/Misc/sys_utils.cpp

src/System/Misc/sys_utils.hpp

src/System/config.in

src/Texmacs/Data/tm_data.cpp

src/Texmacs/Server/tm_server.cpp

src/Texmacs/Texmacs/texmacs.cpp

src/Texmacs/server.hpp

src/Texmacs/tm_buffer.hpp

src/Texmacs/tm_config.hpp

src/Texmacs/tm_data.hpp

src/Texmacs/tm_server.hpp

src/Typeset/Boxes/Animate/animate_boxes.cpp

src/Typeset/Boxes/Basic/basic_boxes.cpp

src/Typeset/Boxes/Basic/boxes.cpp

src/Typeset/Boxes/Basic/rubber_boxes.cpp

src/Typeset/Boxes/Basic/text_boxes.cpp

src/Typeset/Boxes/Composite/composite_boxes.cpp

src/Typeset/Boxes/Composite/concat_boxes.cpp

src/Typeset/Boxes/Composite/decoration_boxes.cpp

src/Typeset/Boxes/Composite/math_boxes.cpp

src/Typeset/Boxes/Composite/misc_boxes.cpp

src/Typeset/Boxes/Composite/script_boxes.cpp

src/Typeset/Boxes/Composite/stack_boxes.cpp

src/Typeset/Boxes/Graphics/graphics_boxes.cpp

src/Typeset/Boxes/Graphics/grid_boxes.cpp

src/Typeset/Boxes/Modifier/change_boxes.cpp

src/Typeset/Boxes/Modifier/modifier_boxes.cpp

src/Typeset/Boxes/composite.hpp

src/Typeset/Boxes/graphics.hpp

src/Typeset/Boxes/modifier.hpp

src/Typeset/Bridge/bridge_argument.cpp

src/Typeset/Bridge/bridge_auto.cpp

src/Typeset/Bridge/bridge_compound.cpp

src/Typeset/Bridge/bridge_default.cpp

src/Typeset/Bridge/bridge_docrange.cpp

src/Typeset/Bridge/bridge_document.cpp

src/Typeset/Bridge/bridge_eval.cpp

src/Typeset/Bridge/bridge_expand_as.cpp

src/Typeset/Bridge/bridge_formatting.cpp

src/Typeset/Bridge/bridge_gui.cpp

src/Typeset/Bridge/bridge_locus.cpp

src/Typeset/Bridge/bridge_mark.cpp

src/Typeset/Bridge/bridge_rewrite.cpp

src/Typeset/Bridge/bridge_surround.cpp

src/Typeset/Bridge/bridge_with.cpp

src/Typeset/Bridge/typesetter.cpp

src/Typeset/Concat/concat_active.cpp

src/Typeset/Concat/concat_animate.cpp

src/Typeset/Concat/concat_macro.cpp

src/Typeset/Concat/concat_math.cpp

src/Typeset/Concat/concat_text.cpp

src/Typeset/Concat/concater.cpp

src/Typeset/Env/env.cpp

src/Typeset/Env/env_exec.cpp

src/Typeset/Env/env_length.cpp

src/Typeset/Env/env_semantics.cpp

src/Typeset/Graphics/curve.cpp

src/Typeset/Graphics/frame.cpp

src/Typeset/Graphics/grid.cpp

src/Typeset/Graphics/grid.hpp

src/Typeset/Graphics/math_util.hpp

src/Typeset/Line/lazy_paragraph.cpp

src/Typeset/Line/lazy_typeset.cpp

src/Typeset/Line/line_breaker.cpp

src/Typeset/Page/page_breaker.cpp

src/Typeset/Page/skeleton.cpp

src/Typeset/Table/cell.cpp

src/Typeset/Table/table.cpp

src/Typeset/boxes.hpp

src/Typeset/env.hpp

src/makefile.in

Show diffs side-by-side

added added

removed removed

src/Classes/Mathematics/properties.hpp

1

2

/******************************************************************************

3

* MODULE : properties.hpp

4

* DESCRIPTION: Properties of mathematical data types

5

* COPYRIGHT : (C) 2006 Joris van der Hoeven

6

*******************************************************************************

7

* This software falls under the GNU general public license and comes WITHOUT

8

* ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details.

9

* If you don't have this file, write to the Free Software Foundation, Inc.,

10

* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

11

******************************************************************************/

12

13

#ifndef PROPERTIES_HPP

14

#define PROPERTIES_HPP

15

#include "math_tree.hpp"

16

17

template<typename T>

18

class unary_properties {

19

public:

20

typedef T scalar_type;

21

typedef T norm_type;

22

typedef int index_type;

23

static inline tree index_name (index_type i) {

24

(void) i; return "x"; }

25

static inline scalar_type access (T x, index_type var) {

26

return x; }

27

};

28

29

template<typename T, typename U>

30

class binary_properties {

31

public:

32

typedef U product_type;

33

};

34

35

#endif // PROPERTIES_H

Older »