Differences between revisions 48 and 51 (spanning 3 versions)
Revision 48 as of 2008-09-17 15:23:11
Size: 1712
Editor: platypus
Comment:
Revision 51 as of 2008-10-14 15:44:05
Size: 1881
Editor: platypus
Comment:
Deletions are marked like this. Additions are marked like this.
Line 23: Line 23:
 * [wiki:/TextEditors Other Text Editors]
Line 24: Line 25:
 * [wiki:/AnnotationTools Annotation Tools]  * Annotation
   * [wiki:/PPAnnotation Annotation guidelines]
  
* [wiki:/AnnotationTools Annotation Tools]
Line 30: Line 33:
 * [wiki:/FormalBackground Tutorials on formal background]

Welcome to the HLP/Jaeger lab main page. For more information on the lab, make sure to also visit our [http://www.hlp.rochester.edu/ public website].

What's going on in the lab?

  • [wiki:/LabMeeting Lab Meeting]

    • [wiki:/LabMeetingAU08 Autumn 08 schedule]
    • [wiki:/LabMeetingSU08 Summer 08 schedule]
    • [wiki:/LabMeetingSP08 Spring 08 schedule]
  • [wiki:/Projects HLP lab projects] (ongoing and past)

Getting setup for the lab

Tutorials and Help

Resources: Finding things

External resources

  • [wiki:/Books Books]
  • [wiki:/Links Links]


FrontPage (last edited 2018-08-23 14:52:30 by dhcp-10-5-5-167)

MoinMoin Appliance - Powered by TurnKey Linux