lp://qastaging/~gmb/monasearch/trunk

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp://qastaging/monasearch

No reviews requested

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

92. By hendrik on 2009-02-05

Better example formulas;
small fixes at TLT.

91. By hendrik on 2009-01-17

Example formulas used in talk.

90. By hendrik on 2009-01-10

CLOSED – # 62: Closed formulas arent’t recognized as such
http://tcl.sfs.uni-tuebingen.de/MonaSearch/trac/ticket/62

89. By hendrik on 2009-01-10

CLOSED – # 60: Dominance and immediate dominance give incompatible results
http://tcl.sfs.uni-tuebingen.de/MonaSearch/trac/ticket/60

88. By hendrik on 2008-12-18

Fix buildfile;
ANTLR licensing;
release 0.4.

87. By hendrik on 2008-12-16

Once again remove unnecessary mergeinfo.

86. By hendrik on 2008-12-16

Debug statement shouldn’t have been committed.

85. By hendrik on 2008-12-16

CLOSED – # 26: Closed formulas not recognized as such
http://tcl.sfs.uni-tuebingen.de/MonaSearch/trac/ticket/26

84. By hendrik on 2008-12-15

Update build file to reflect new setup;
template linux .classpath.

83. By hendrik on 2008-12-12

Template files for Mac, classpath needs to be templated also, unfortunately.