File: compatibility

package info (click to toggle)
prooftree 0.13-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 592 kB
  • ctags: 668
  • sloc: ml: 4,462; sh: 117; makefile: 111
file content (7 lines) | stat: -rw-r--r-- 277 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
protocol  prooftree     Proof General                    
	              
3         0.11           >= 4.3pre130327
	              
2         0.9 - 0.10     4.2; 4.2pre120110 - 4.3pre130111               
	              
1         0.8            4.2pre120104