Mantis
MANTIS Architecture
Screenshots
Login
Menus
Viewing imported information objects
Filtering
Viewing an info object
Viewing another info object
Viewing the JSON representation
Dealing with embeddings of different standards
Searching and viewing results
Editing user-specific data
Edit user configurations
Edit user configurations
A look at the admin interface
What MANTIS is and isn’t
History
0.2.1 (2014-03-06)
0.2.0 (2014-02-26)
0.1.0 (2013-12-19)
Installation
Manual installation
(Semi-)automated installation with Vagrant
QUICKSTART
MANTIS developers’ guide
Before starting to develop
Read up on techniques and styles used in MANTIS
Understand how django-dingos works
Find the right place to modify/add to
Writing your own Django application
Keep django-dingos generic
Setting up a development environment
MANTIS Application Layout
Overview of the directory layout
Contributing
Types of Contributions
Report Bugs
Fix Bugs
Implement Features
Write Documentation
Submit Feedback
Get Started!
Modifying/adding to existing code
Writing your own Django application
Pull Request Guidelines
Mantis
Docs
»
MANTIS developers’ guide
Edit on GitHub
MANTIS developers’ guide
¶
Contents:
Before starting to develop
Read up on techniques and styles used in MANTIS
Understand how django-dingos works
Find the right place to modify/add to
Setting up a development environment
MANTIS Application Layout
Overview of the directory layout
Read the Docs
v: latest
Versions
latest
stable
development
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.