By%20Andrea%20Kohlhase,%20The%20Course%20Capsules%20Project%20(CCaps),CMU

1
CPoint DocumentationVersion 0.9.2 (07/??/2003)
Content For marking up objects
Categorize Objects to add value
Convert To other formats
Connect To other applications

• By Andrea Kohlhase, The Course Capsules Project
  (CCaps),CMU
• Look at our website CCaps for latest news!

2
Table of ContentsforCPointDoc.ppt
CPoint DocumentationVersion 0.9.2 (07/??/2003) 1
Table of ContentsforCPointDoc.ppt 2 - 9
CPoint 10
CPoint Version 0.9.2 New Features 11
CPoint Installation Premise MSXML4 12
CPoint Installation Premise GraphViz 13
CPoint Installation 14
CPoint Goal 15
CPoint PPT Content 16
CPoint Semantic Markup 17
PowerPoint Document Structure 18
PowerPoint Object Properties 19
3
Table of Contents (2)
PowerPoint Additional Information 20
CPoint Architecture 21
CPoint Objects 22
CPoint Collections 23
CPoint Overview Semantic Markup 24
CPoint Overview OutsideWorld 25
CPoint Overview CPoint Manager 26
CPoint Overview CMath 27
CPoint Overview CTools 28
CPoint Overview Markup Tools 29
CPoint The Navigator Button Scope 30
CPoint The Navigator Button Navigating 31
4
Table of Contents (3)
CPoint The Navigator ButtonSearch Restriction by Categories 32
CPoint The Navigator ButtonSearch Restriction by Collections (I) 33
CPoint The Navigator ButtonSearch Restriction by Collections (II) 34
CPoint Categorize 35
CPoint Categories (I) 36
CPoint Categories (II) 37
CPoint Categories (III) 38
Finding the Right Category 39
Main Semantic Objects Model 40
Categorization Process 41
Categorization Tricks and Tips 42
CPoint Content 43
5
Table of Contents (4)
Content Forms 44
Content Reference System 45
Content Reference System Theory and Primitive Symbols 46
Content Reference System Definition and Defined Symbols 47
Content Reference System Symbol Declaration 48
Content Reference System Symbol Presentation (I) 49
Content Reference System Symbol Presentation (II) 50
Content Reference System Symbol Presentation Properties 51
Content Reference System Assertion and ProofSteps 52
Content Reference System Exercise Solution - Hint 53
CPoint Metadata 54
CPoint Convert To OMDoc (What is it?) 55
6
Table of Contents (5)
CPoint Convert To OMDoc (What does it?) 56
CPoint Convert To OMDoc (Input) 57
CPoint Convert To OMDoc (Output) 58
CPoint Convert To OMDoc (Fonts) 59
Where Not to Use Categories 60
Example Chart 61
Example Table 62
Where to Use Categories 63
Example Theory (I) 64
Example Theory (II) 65
Example Didactics 66
Example Example more 67
7
Table of Contents (6)
Example Definition and Symbol 68
Example Assertion 69
Example Theorem with Content Type Code 70
Example TextBox with Content Type Graphics 71
Example TexPoint Insert 72
CPoint Known Bugs 73
CPoint Wish List for Next Version 74
CPoint Roadmap 75
CPoint Tell us . 76
CPoint Version 0.81 Bug Fixes 77
CPoint Version 0.81 Logical Changes 78
CPoint Version 0.81 New Features 79
8
Table of Contents (7)
CPoint Version 0.8.2 b 80
CPoint Version 0.8.2 Bug Fixes 81
CPoint Version 0.8.2 Logical Changes 82
CPoint Version 0.8.2 New Features (I) 83
CPoint Version 0.8.2 New Features (II) 84
CPoint Version 0.9 New Appearance 85
CPoint Version 0.9 New Feature Collection 86
CPoint Version 0.9 New Feature Navigator Button 87
CPoint Version 0.9 New Feature Convert Menu 88
CPoint Version 0.9 New Feature Connect Menu 89
CPoint Version 0.9 New Feature CPoint Manager 90
CPoint Version 0.9 New Feature CMath Menu 91
9
Table of Contents (8)
CPoint Version 0.9 Logical Changes 92
CPoint Version 0.9.1 New Polish 93
CPoint Version 0.9.1 Resolved Bugs 94
CPoint Version 0.9.1 New Features 95
CPoint Version 0.9.1 Alpha Feature Round Tripping Export 96
CPoint Version 0.9.1 Alpha Feature Round Tripping Import 97
10
CPoint
Content For marking up objects
Categorize Objects to add value
Convert To other formats
Connect To other applications

• By Andrea Kohlhase, The Course Capsules Project
  (CCaps),CMU
• Look at our website CCaps for latest news!

11
CPoint Version 0.9.2 New Features

• New Features
• CPoint Graphs Visualization of the knowledge
  structure by graph layout for collections,
  presentations, theories
• Project Files Moving one or several annotated
  ppt shows from one computer to another without
  losing the validity of references is made
  possible by using project files
• PPT Emplacement Change in CPoint Collections
  Move a ppt in a CPoint collection to another
  collection or replace one ppt in a CPoint
  collection by another one by the new PPT
  Emplacement Change button in the CPoint Manager

12
CPoint Installation Premise MSXML4

• Version 0.9.1
• The library MSXML4 has to be installed
• Free download of msxml4.msi from
• Microsoft XML Core Services 4.0 Service Pack 1
• (accessible from http//msdn.microsoft.com/library
  /default.asp?url/downloads/list/xmlgeneral.asp
• )

13
CPoint Installation Premise GraphViz

• Version 0.9.2
• The library WinGraphviz.dll has to be installed
• if you want to use the CPointGraphs module
• Free download of WinGraphviz.dll from
• http//home.so-net.net.tw/oodtsen/wingraphviz/inde
  x.htm
• Just follow the download instructions!
• To the folks of GraphViz Big Thanks for an easy
  to use graph layout tool!

14
CPoint Installation

• The CPoint PowerPoint Add-In can be installed by
  clicking
• Tools
• Add-Ins
• Add New
• And selecting CPoint.ppa (and OK the forms) .

15
CPoint Goal

• What is it for?
• The objective of CPoint consists in the
  conversion of the content of a PowerPoint
  presentation to the semantic, XML-based data
  format OMDoc e.g. as input for computer-supported
  education systems like ActiveMath.

16
CPoint PPT Content

• What is the content of a PPT show?
• (Obviously,) the text and pictures (generally the
  objects themselves)
• The given textual, presentational, and
  placeholder structure
• Grouping of objects

17
CPoint Semantic Markup

• Semantic Markup of objects
• The quality of content is much higher if it is
  categorized. Naturally, this has to be done
  (mostly) manually.
• The categorization provides additional
  information for each object.
• The semantic markup information can be
  manipulated with CPoint

18
PowerPoint Document Structure

• The top-level structure of a PowerPoint
  presentation is given by slides.
• Each slide contains objects, e.g.
• Textboxes
• Shapes
• Images
• Tables

19
PowerPoint Object Properties

• An object is assigned certain properties like
• text structure, e.g.
• Lists
• Ordered lists
• Unordered lists
• Or presentational structure, e.g.
• Colors, bold fonts, italic fonts
• Or a special predefined placeholder slot, e.g.
• Title
• Subtitle

20
PowerPoint Additional Information

• Within a slide the user can group objects.
• Press the Shift button and select objects (at
  least two and no title object)
• Rightclick and select Grouping ? Group

• Every object can store additional information
  with the help of a VBA (Visual Basic) program.

CPoint
21
CPoint Architecture

• CPoint is
• a collection of VBA macros which allow the user
  to semantically markup slide objects.
• A conversion tool to migrate the content of a
  PowerPoint presentation (either annotated
  information or intrinsic structure) to other data
  formats like OMDoc. And from here to HTML or HTML
  Slides.
• A connection tool to other applications

22
CPoint Objects
First, let us determine our terminology

• Object
• Any element in a PowerPoint show
• PPT Object
• Any element in a PowerPoint show pertaining to
  its presentation
• Abstract Object
• Any element of a PowerPoint show not pertaining
  to its presentation. These are created by the
  CPoint Macros in behalf of the semantic markup.
  They can be changed from visible to invisible via
  Visualize button.
• Semantic Object
• Any annotated PPT object or abstract object.
• Theories, Definitions, Assertions, ProofSteps,
  Examples, and Exercises are considered the main
  semantic objects.
• These are universal, interdisciplinary terms even
  though they sound mathematical (see the main
  semantic objects model)!

23
CPoint Collections

• A (CPoint) collection is a group of PowerPoint
  presentations with an associated namespace. Each
  presentation has a collection wide unique id.
  Once a presentation is contained in a collection,
  CPoint has access to it. With the CPoint manager
  the user can define collections.

24
CPoint Overview Semantic Markup

• Categorize
• Categorize the objects e.g. as example or theorem

Metadata Supply meta information for the
(categorized) object
Content Provide Details for a classified object
25
CPoint Overview OutsideWorld
MBases
Convert Translate the PPT show to
Connect Open and view the generated documents or
user-predefined applications
ActiveMath
OMDoc
OMDoc
OQMath OMDoc
HTML
HTML
HTML Slides
HTML Slides
OQMath OMDoc
26
CPoint Overview CPoint Manager
CPoint Manager Manage your tools and presentations
MBase Locations of MBases
Tools Locations of Tools
Project PPT Exchange
Collection Definition of PPT Groups
27
CPoint Overview CMath
CMath Drop Down menu
Assign a presentation, i.e. the presentational
defining properties, to a certain symbol (like
infinity) either via selection or via manual
input
28
CPoint Overview CTools

• CPoint Manager allows the
• user to define
• Collections
• Tool and MBase Locations

• Visualize/Hide the semantic objects label each
  one with a yellow box in the upper right corner
  of the object
• Hide them if you dont want to see them any
  longer ( ).

Refresh Local References Empowers the user to
heal broken references within the active
presentation.
29
CPoint Overview Markup Tools
Chopper Chop text into smaller pieces (almost
without changing its appearance)

• GoTo Go to any semantic object in the active
  presentation. You may use the automatic close
  feature of the box with the object id or title.

Shaper Shape text into bigger pieces (almost
without changing its appearance)
30
CPoint The Navigator Button Scope

• The value of the Navigator Button for Selection
  Boxes determines the scope of the elements in the
  adjoining selection box.
• Possible Values are
• Home theory
• Imported theories
• Local presentation
• Collections
• MBase (still to come)

31
CPoint The Navigator Button Navigating

• The Scope Order is defined to be
• H lt I lt L lt C lt M
• The Navigator Button allows 3 actions
• Clicking
• Moves the scope one up and starts at the
  beginning if being at the end.
• DoubleClicking
• Moves the scope one down and goes to the end if
  being at the start.
• RightClicking
• Opens a Search Restriction Interface (if
  available)

32
CPoint The Navigator ButtonSearch Restriction
by Categories
Manipulate the selection in the adjoining
selection box by using the Search Restriction
Interface for Categories, I.e. restrict the
search space by filtering those objects out which
category wasnt selected.
Move your mouse over the Selected Categories
List and it will open automatically
33
CPoint The Navigator ButtonSearch Restriction
by Collections (I)
Manipulate the selection in the adjoining
selection box by using the Search Restriction
Interface for Collections, I.e. restrict the
search space by filtering those objects out which
location (and category) wasnt selected.
.
List of Collections to choose from
List of Selected Collections
List of Presentations to choose from
List of ALL Selected Presentations
34
CPoint The Navigator ButtonSearch Restriction
by Collections (II)
List of Selected Collections
If the user selects a collection in the List of
Selected Collections, then he can search this
specific collection for the presentations he
wants to be in the final List of ALL Selected
Presentations.
List of Selected Presentations
List of ALL Selected Presentations
35
CPoint Categorize

• How?
• Select ONE object
• Click the Categorize button
• Rightclick the Category Combobox
• Select a category or a subcategory

• What else?
• Provide basic information title and description

- Determine the Content Type

• Have a look at the already supplied detailed and
  meta information

36
CPoint Categories (I)
Symbol
(defined)
Definition

37
CPoint Categories (II)

• Assertion
• Theorem
• Proposition
• Lemma
• Corollary
• Postulate
• Conjecture
• FalseConjecture
• Obligation
• Assumption
• Formula

Axiom
ProofStep

38
CPoint Categories (III)

• Didactics
• Question
• Answer
• Rhetorical Question
• Warning
• Comment
• Note
• Remark
• Motivation
• Introduction
• Claim
• Conclusion

• Exercise
• Exercise
• Solution
• Hint

• Example
• Example
• CounterExample

NoOMDoc
39
Finding the Right Category

• Category categorization and role assignment
• Finding the best correct category is not as
  easy as you might think (e.g. there are lots of
  correct categories to choose from).
• Finding the most important categories might be
  easier
• Look for the main semantic objects!

40
Main Semantic Objects Model
Assertions/ Proofs
Theory
Þ
apply
Axioms
Example
Symbol
41
Categorization Process

• Find the theories and categorize them, determine
  their range (largest main semantic objects).
• Find the existing symbols, then define or declare
  them (smallest main semantic objects).
• Find the assumed theories and symbols, import the
  according theories in the resp. theory details
  form.
• Pick the PPT objects you can clearly identify as
  semantic objects and categorize them accordingly
• (intermediate main semantic objects).
• By now you have a starting list of the main
  semantic objects.
• Try to find the semantic objects they belong to.
  If you cant find it, decide whether you need to
  create an abstract object for this superordinate
  concept.
• Categorize the remaining PPT objects with their
  according assignment to a semantic object if
  sensible.

42
Categorization Tricks and Tips

• The actual assignment to a superordinate semantic
  object is in fact a classification, a
  putting-in-place procedure (Where does the
  object belong in the course structure?,Built a
  semantic object tree!)
• the actual category is the assignment of a role
  for the semantic object (What am I using this
  object for?, What is its functionality?)

43
CPoint Content

• How?
• Select ONE object
• Click the Content button
• Depending on the categorization the user can
  supply additional information for the selected
  object.

• What else?
• Update basic information title and description
• Check or update the meta information

• Comment this object (e.g. write down the things
  you say when giving the talk)

44
Content Forms
My Abstract Object

• Each object on this slide is categorized.
• Select one and click the Content button!

Theory
Definition
Assertion
Proof Step
Axiom
Symbol
Example
Counter Example
Exercise
Solution
Hint
 ? ?,? in R 
Question
Answer
Rhetorical Question
Comment
Note
Warning
Remark
Moti- vation
Intro- duction
No OMDoc
Claim
Con- clusion
45
Content Reference System

• Some objects relate to other objects,
• e.g. an answer should belong to a certain
  question, but it should not pertain to a code
  object.
• Those relationships are explained in more detail
  on the following slides

46
Content Reference System Theory and Primitive
Symbols

• A theory is a collection of concepts and their
  properties. It can cover any kind of object.
  Definitions, axioms, and assertions must either
  have an assigned theory or a covering theory.
• The theory area is determined by a given slide
  range All objects on the slides in the given
  range belong to this theory. Theory ranges may
  not overlap.
• Primitive Symbols can be created from within a
  theory details form or manually. Often, in a PPT
  presentation concepts are not defined, but rather
  introduced by their properties (stated in axioms).

47
Content Reference System Definition and Defined
Symbols

• A definition always defines a symbol. The user
  doesnt have to select a PowerPoint object for a
  symbol. It is created on request from within the
  Definition content form if it doesnt exist yet.
  Several symbols maybe defined by one definition.
• A symbol belongs to a definition and is thereby
  assigned a theory. The content form of a
  definition object will list all (defined) symbol
  objects for it. Similarly, the content form of a
  theory will list all the defined symbols
  belonging to this theory.

48
Content Reference System Symbol Declaration
Symbol name may not contain spaces
For a defined symbol the theory is inherited from
the definitions theory
49
Content Reference System Symbol Presentation (I)
Loads the existing format information for
selected symbol
Symbol Syntax
PPT Format Level
Move forward in character string For character
format level
Respective formats for character string
50
Content Reference System Symbol Presentation
(II)
Character string or text
PPT Character Format
Defining Property Check Box
51
Content Reference System Symbol Presentation
Properties
52
Content Reference System Assertion and
ProofSteps

• An assertion may have an assigned proof.
• The proof may consist of several proof steps.
• The first of these should reference the
  assertion, which it will prove (it is therefore
  called the proof).
• Each subsequent proof step has to reference a
  preceding one to complete the proof.

53
Content Reference System Exercise Solution -
Hint

• An exercise can be accompanied by one or more
  hints for solving it or even a solution. Clearly,
  these belong together.
• Therefore a solution or a hint object can
  reference an exercise.

54
CPoint Metadata

• The metadata form allows the user to input
  metadata according to the Dublin-Core standard
• (http//dublincore.org).
• The default language is English, but if you
  declare the custom tag language for the PPT show
  (in the properties), then this will be taken.
• LastUpdate Dates are updated
• when an object is annotated or annotailed,
• But not automatically when metadata are updated.
  This allows the user to update dates manually.
• Creators and Contributors can be added by
  overwriting the current text and either using the
  enter key or leaving that input field.

55
CPoint Convert To OMDoc (What is it?)

• CPoints Convert To OMDoc is a conversion macro
  
• PowerPoint (PPT) ? OMDoc

• OMDoc is an XML-based interlingua for
  mathematical communication.
• See http//www.mathweb.org/mbase
• for more information.
• OMDoc is used in computer-assisted education
  systems like ActiveMath and searchable
  Mathematical Knowledge Base http//www.mathweb.org
  /omdoc

56
CPoint Convert To OMDoc (What does it?)

• If an object is assigned a category ( role),
  then that information will be used to create an
  OMDoc element for it (in the OMDoc file). The
  intrinsic structure (given by PowerPoint) is
  preserved as much as possible.
• If an object is not assigned a role, the best-fit
  OMDoc structure will be heuristically determined
  by CPoint honoring the possibly annotated (
  assigned in categorize form) content type.

57
CPoint Convert To OMDoc (Input)

• PPT presentation
• Linked images
• If the PPT presentation contains linked images,
  the user will be asked whether the program shall
  break the link or not (naturally just for the
  OMDoc document). If the link is kept, then the
  linked image should be made available. Its path
  information in the resulting OMDoc is the same as
  it was in the PowerPoint presentation. If it was
  relative, then it might be wrong in the OMDoc
  (check it!).

58
CPoint Convert To OMDoc (Output)

• ../capsule/ltPPT namegt.omdoc
• If the folder ../capsule doesnt exist, it will
  be created.
• JPG-files for objects used in the presentation
• One copy of each slide as JPG-file

59
CPoint Convert To OMDoc (Fonts)

• For the creation of special symbols like
  a(alpha) there are (at least) two ways to go
  in PPT
• Using the Symbol Font
• Using Insert Symbol with a specified font, e.g.
  Symbol
• These have different effects on the OMDoc output
• OMDoc output as OpenMath object with reference to
  a migration theory Symbol
• OMDoc output as character reference (e.g.
  x3B1). Depending on the font this character
  reference might or might not be a Unicode
  character reference!

60
Where Not to Use Categories

• On the following slides we supply examples for
  PPT objects which carry content by themselves.
• Categorizing these objects might result in
  information loss
• charts
• tables
• embedded OLE objects

The red box indicates the category in each
example and is itself categorized as Warning!
61
Example Chart
No category!
If you categorize a chart, then the chart
information is lost to the OMDocize macro.
62
Example Table
No category!
1a 1B 1D
2A 2B 2C
3A 3B
4a
If you categorize this object, the table
structure is lost.
63
Where to Use Categories

• On the following slides we give categorized
  examples
• Please, dont use the ResetAll button
• on this documentation (as this results in the
  destruction of the example annotations). Dont be
  scared now if you accidentally hit the button,
  you will be asked for confirmation!
• ResetAll is helpful for learning the
  categorization process.
• Please, use the other buttons!
• We recommend not to save these changes as they
  might be inconsistent with the adjoining text.

The yellow box indicates the category in each
example and is itself categorized as Comment!
64
Example Theory (I)
Categorized as Theory
Union Find Thinking about Programs Objects Union
Find algorithm
65
Example Theory (II)
OMDoc
Annotated PPT
OMDoc Conversion
66
Example Didactics
Categorizedas Question
This would have been originally the title and
therefore wouldnt becategorized!
Why look at union-find?
Categorized as Answer

• A widely useful algorithm
• Solves the Dynamic Equivalence Problem
• The 211 Way of Thinking
• Code and complexity

67
Example Example more
Categorized as Graphics
Cate-gorized as Example
A graph-drawing program

• Services provided
• Abstract operations
• Add edge
• Move node
• Clear
• Grid snap
• Show length
• Loop detect

68
Example Definition and Symbol
Visible/Invisible defined Symbol
Categorized as Definition
Equivalence relations

• The relation is an equivalence relation if
  (for all a, b, and c)
• a a reflexive
• a b iff b a symmetric
• a b b c ? a c transitive

Categorized as Example
Examples

• transitive, reflexive, symmetric
• connected transitive, reflexive, symmetric

69
Example Assertion
Categorized as Lemma

• The set of equivalence classes are a partition of
  U. 2,3,4,6,7,8,9, 1,5
• In general
• i ? j implies Pi ? Pj.
• For each a ? U, there is exactly one i such that
  a ? Pi .

Categorized as Example for the above lemma
70
Example Theorem with Content Type Code
Categorized as Theorem with content type code

• class UnionFind
• int u
• UnionFind(int n)
• u new intn
• for (int i 0 i lt n i)
• ui -1
• int find(int i)
• int j,root
• for (j i uj gt 0 j uj)
• root j
• while (ui gt 0) j ui ui root i
  j
• return root
• void union(int i,int j)
• i find(i)

71
Example TextBox with Content Type Graphics
Grey box has no category, but the content type
graphics
Red
White
Blue

violet
72
Example TexPoint Insert

• Unfortunately, I dont have LaTex, so I can just
  produce this LaTex Error.

Categorized as Formula, but look at the OMDoc!
The underlying LaTex Code will be found by the
OMDoc Conversion macro, even if you annotate it.
73
CPoint Known Bugs

• See the bug list for CPoint at
• http//bugzilla.mathweb.org8000/
• (It is too much work to keep this and the bug
  list up to date )

74
CPoint Wish List for Next Version

• See the wish list for bug 760 CPoint Version
  0.9.n at
• http//bugzilla.mathweb.org8000/
• (Again It is too much work to keep this and the
  wish list up to date )

75
CPoint Roadmap
Version Description
0.9.n First Round Tripping features MBase Integration This allows to reference external theories and other objects in an MBase
1.0 General Round Tripping, I.e. generate PPT from an OMDoc document An OpenMath or content MathML editor is embedded. This allows to enliven Math formulae by content markup.
76
CPoint Tell us .

• What you wish for in a new CPoint (see bugzilla)
• What bugs you find (see bugzilla)
• What comments you have

Your input is greatly appreciated! Contact

ako_at_cs.cmu.edu
77
CPoint Version 0.81 Bug Fixes

• Bug fixes
• Missing annotation Axiom added
• Heisenbug cleared
• Assertions are provided with theory slot in OMDoc

78
CPoint Version 0.81 Logical Changes

• Logical Changes (but compatible with 0.8)
• Annotation Symbol added, definition has theory
  slot (instead of symbol)
• Symbol Declaration Form for primitive and defined
  symbols

79
CPoint Version 0.81 New Features

• New Features

• New semantic object primitive Symbols

• Theorem slide range is preset

• Theory slots are preset by covering theory

• OMDocize checks theory overlaps and theory context

80
CPoint Version 0.8.2 b

• By accident CPoint Version 0.8.2 was released
  with (future) macros requiring additional
  libraries.
• In CPoint Version 0.8.2 b this is corrected by
  removing the not-yet-used macros and the
  references to the not documented libraries.
• Sorry for the inconvenience!

81
CPoint Version 0.8.2 Bug Fixes

• Bug fixes
• Chopper
• didnt behave properly in last line of list
• Distance from bullet to text was not copied

82
CPoint Version 0.8.2 Logical Changes

• Logical Changes
• Annotations Code and Graphics removed (but in
  terms of OMDocize still functioning)
• Content Types text, code, and graphics
  introduced in annotation form. In particular, the
  user can annotate an object now as example and
  assign the content type code.

83
CPoint Version 0.8.2 New Features (I)

• Layout Distinction in reference boxes between
• Selection boxes (Contain reference options for
  list boxes)
• Select-1 boxes (User may select one reference)
• List boxes (User may select list of references)
• imports slot in theory details form can be
  filled by using an adjoining theory selection
  box.
• In all references boxes the title is displayed
  instead of the id iff the title exists, otherwise
  the id.

84
CPoint Version 0.8.2 New Features (II)

• CPoint Bar is now free floating, i.e. the user
  can decide where it resides.
• Annotation Labels (by Visualize) contain title
  iff existent.
• GoTo enhanced user can decide to look for id or
  for title in automatic close feature of the
  select1-box

85
CPoint Version 0.9 New Appearance

• CPoint Menu
• Name changes
• Annotation ? Categorize
• Annotails ? Content
• Omdocize ? OMDoc in Convert Drop Down Menu
• Regrouping of CPoint Controls
• CTools Drop Down Menu contains (i.a.)
• Visualize, ResetAll, ReplCharCode

86
CPoint Version 0.9 New Feature Collection

• Group several PPT presentations in a collection,
  so that their objects are available in CPoint. In
  particular, reference objects in other
  presentations from within the current one.

87
CPoint Version 0.9 New Feature Navigator Button

• Navigator for Selection Boxes
• Search for objects
• in
• The current Home theory,
• its Imported theories,
• the Local presentation,
• other presentations in Collections
• with the Navigator Button.

88
CPoint Version 0.9 New Feature Convert Menu

• Convert the current PPT presentation
• To OMDoc (not exactly new )
• To OQMath OMDoc
• To HTML (based on the generated OMDoc)
• To HTML Slides (based on the generated OMDoc)

89
CPoint Version 0.9 New Feature Connect Menu

• Connect To the Outside World.
• I.e. with your chosen Windows editor
• View the
• converted OMDoc or OQMath OMDoc
• generated HTML (based on gen. OMDoc)
• generated HTML Slides (based on gen. OMDoc)
• Open the
• MBases you defined with the CPoint Manager
• connection to ActiveMath on the web
• Migration Report (if available)

90
CPoint Version 0.9 New Feature CPoint Manager

• Tell CPoint what tools to use
• MBase Locations
• Collection Manager
• Tool Locations (OMDoc DTD, Catalogue, XSLT
  stylesheets, engine)

91
CPoint Version 0.9 New Feature CMath Menu

• Define or undefine, find, visualize or hide Math
  Regions in your text objects.
• Define PPT presentation for symbols as well as
  their presentation in HTML, LaTex, or QMath
  format
• They are uniquely marked and output in the
  generated OQMathOMDoc as such, so that external
  programs like OQMath can parse the expressions
  via QMath into OpenMath.

92
CPoint Version 0.9 Logical Changes

• The internal data format has changed. Shapes are
  now identified by
• Collection NamespacePPTIdSlideIdShapeId
• (see the new feature Collection)
• As a consequence CPoint Version 0.8n marked up
  PPT presentations have to be migrated (simply
  open the PPT and use the Migrate Button under the
  CTools menu).

93
CPoint Version 0.9.1 New Polish

• Polish
• Input check for symbol presentation input (no
  semicolon allowed)
• Special characters (lt,gt,,) are replaced by
  character entities in generated OMDoc
• Introduction of Conversion Report (I.e.
  collection of all non-decisive messages in one
  report)
• Suggested theory slide range (on theory content
  form) is shown in blue, saved theory slide range
  is shown in black.

94
CPoint Version 0.9.1 Resolved Bugs

• Resolved Bugs
• More empty omtext/omgroup expressions in
  generated OMDoc avoided
• Axiom combobox in theory content form corrected
  (had shown all existent axioms)
• CMath -gt Find Next MathRegion improved
• Groups can be categorized now (but if so then
  this categorizatin takes precedence over the
  underlying categorizations).
• Changing the PPTId of current presentation in the
  CPoint Manager doesnt result any longer in
  invalid references.
• Metadata for omtext elements are generated (e.g.
  for didactics and solution objects)

95
CPoint Version 0.9.1 New Features

• New Features
• Cancel button in conversion form, I.e.
  interruption of conversion processes is now
  possible
• Extension of GoTo form Search restriction by
  content type code and goto action for
  non-semantic objects.
• New CTools -gtRefresh References Save As
  operation for presentation results possibly in
  invalid references (if the presentation had been
  beforehand or afterwards in a collection). With
  this tool the references are saved.
• Groups were integrated (much better) into
  selection boxes, search functions, and visualize
  functions

96
CPoint Version 0.9.1 Alpha Feature Round
Tripping Export

• Convert a PowerPoint presentation into an OMDoc
  document with presentation markup ( Presentation
  OMDoc).
• Conserve
• Location
• Size
• Shape color
• Font name
• Font size

This feature is still in the experimental phase,
so it isnt yet documented!
97
CPoint Version 0.9.1 Alpha Feature Round
Tripping Import

• Convert a Presentation OMDoc document into a
  PowerPoint presentation translating the OMDoc
  information into CPoint content markup
• Conserve
• Categorization
• Content
• Metadata
• Math Regions

This feature is still in the experimental phase,
so it isnt yet documented!