Commit 3f45061f621b4e7f0b48ff9ecfb24ed1238bf952

  • avatar
  • arvind
  • Thu Jun 07 19:59:23 IST 2012
Removing comments at the wrong place
  
11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
22<html xmlns="http://www.w3.org/1999/xhtml"
33 <head>
4 <!-- <script type="text/javascript"> -->
5 <!-- function annotationTree() { -->
6 <!-- tree_div = document.getElementById('annotation-tree'); -->
7 <!-- tree_div.style.display = 'block'; -->
8 <!-- } -->
9 <!-- </script> -->
10 <!-- <script type="text/javascript" src="http://code.jquery.com/jquery-1.7.min.js"></script> -->
11 <!-- <script type="text/javascript" src="./jit.js"></script> -->
12 <!-- <script type="text/javascript" src="./tree.js"></script> -->
4 <script type="text/javascript">
5 function annotationTree() {
6 tree_div = document.getElementById('annotation-tree');
7 tree_div.style.display = 'block';
8 }
9 </script>
10 <script type="text/javascript" src="http://code.jquery.com/jquery-1.7.min.js"></script>
11 <script type="text/javascript" src="./jit.js"></script>
12 <script type="text/javascript" src="./tree.js"></script>
1313 <style type='text/css'>
1414 #annotation-tree {
1515 position:fixed;