Introduction: 

OpenGrok is a tool for indexing source repositories and making them easily browsable via the web.  (It is also useful as a non-web-based developer tool, but this isn't relevant here.)

Link to main ISDA OpenGrok page.

ISDA provides this tool for browsing public source code bases.  Available repositories for browsing:

• krb5(This link will change in late February, 2008.)

 If you wish to make your repository available via this service, drop us a note.

 Notes for maintainers:

 Each repository indexed by opengrok is served by a separate web application running on isda-maven1.mit.edu.  To deploy a new application, you need to:

1. check out the source tree under /home/opengrok/src/<name>
2. index that source tree into /home/opengrok/data/<name>
3. add checkout/index maintenance to the cron job
4. configure an instance of the web application to refer to the source and data directories above
5. install it in the source subdirectory of tomcat's webapp directory
6. restart tomcat

More detailed instructions for some of the steps above will, ideally, be added to this page soon.