lp://staging/monasearch
Created by
Hendrik Maryns
and last modified
- Get this branch:
- bzr branch lp://staging/monasearch
Members of
MonaSearch development team
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
Branch information
Recent revisions
- 90. By hendrik
-
CLOSED – # 62: Closed formulas arent’t recognized as such
http://tcl.sfs. uni-tuebingen. de/MonaSearch/ trac/ticket/ 62 - 89. By hendrik
-
CLOSED – # 60: Dominance and immediate dominance give incompatible results
http://tcl.sfs. uni-tuebingen. de/MonaSearch/ trac/ticket/ 60 - 85. By hendrik
-
CLOSED – # 26: Closed formulas not recognized as such
http://tcl.sfs. uni-tuebingen. de/MonaSearch/ trac/ticket/ 26
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 with rich root (needs bzr 1.0)