verifypn

lp:~verifypn-stub/verifypn/initrw

Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/initrw
Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-stub
Project:
verifypn
Status:
Merged

Recent revisions

237. By Peter Gjøl Jensen

merged in warning fixes

236. By Peter Gjøl Jensen

merged with new-ctl

235. By Peter Gjøl Jensen

fixed nesting flag

234. By Peter Gjøl Jensen

re-added wrapping

233. By Peter Gjøl Jensen

merged with new rules

232. By Peter Gjøl Jensen

removed push of EF on atomic propositions

231. By Peter Gjøl Jensen

fixed nested flag

230. By Peter Gjøl Jensen

fixed negation issue

229. By Peter Gjøl Jensen

refactor + ex/ax trivials

228. By Peter Gjøl Jensen

initial rw

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers