← Back to branch summary
~verifypn-maintainers/verifypn/u1.2
Changes
Files
~verifypn-maintainers/verifypn/u1.2
:
/documentation
(Revision 46)
view revision
view branch changes
Committer:
Jiri Srba
Date:
2014-03-18 07:13:31 UTC
mfrom:
(42.1.5 memoryLimitBug)
Revision ID:
srba@cs.aau.dk-20140318071331-66nr5ajk4iotuycg
merged in branch fixing memory limit overflow
Filename
Latest Rev
Last Changed
Committer
Comment
Size
..
reductionsABCD-documentation.pdf
40.1.51
10 years ago
Jiri Srba
created documentation directory
118 KB
Loggerhead is a web-based interface for
Breezy
Version: 2.0.1