-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathcc.html
More file actions
133 lines (119 loc) · 5.55 KB
/
cc.html
File metadata and controls
133 lines (119 loc) · 5.55 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
<!DOCTYPE html>
<!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]-->
<!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]-->
<!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]-->
<!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]-->
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
<title></title>
<meta name="description" content="">
<meta name="viewport" content="width=device-width">
<link rel="stylesheet" href="css/bootstrap.min.css">
<style>
body {
padding-top: 60px;
padding-bottom: 40px;
}
</style>
<link rel="stylesheet" href="css/bootstrap-responsive.min.css">
<link rel="stylesheet" href="css/cc.css">
<link rel="stylesheet" href="js/vendor/select2/select2.css">
<link rel="stylesheet" href="js/vendor/chosen.css">
<script src="js/vendor/modernizr-2.6.1-respond-1.1.0.min.js"></script>
</head>
<body>
<!--[if lt IE 7]>
<p class="chromeframe">You are using an outdated browser. <a href="http://browsehappy.com/">Upgrade your browser today</a> or <a href="http://www.google.com/chromeframe/?redirect=true">install Google Chrome Frame</a> to better experience this site.</p>
<![endif]-->
<!-- This code is taken from http://twitter.github.com/bootstrap/examples/hero.html -->
<div class="navbar navbar-inverse navbar-fixed-top">
<div class="navbar-inner">
<div class="container-fluid">
<a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse">
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</a>
<a class="brand" href="#">Cobi</a>
<div class="nav-collapse collapse">
<div class="row-fluid">
<!--<div class="brand span2">Cobi</div>-->
<div class="offset2 span6">
<input type="hidden" id="searchbox"/>
</div>
<div class="user-display pull-right"></div>
</div>
<!-- <div class="row-fluid">
<div id="statusbar" class="alert offset2 span10"></div>
</div> -->
</div><!--/.nav-collapse -->
</div>
</div>
</div>
<div class="container-fluid">
<div class="row-fluid">
<div class="span12">
<strong>Your Paper:</strong>
<span class="title"></span>
</div>
</div>
<div class="row-fluid">
<h3>My Constraints</h3>
<div class="span12">
<ul class="my-constraints"></ul>
</div>
</div>
<div class="row-fluid">
<h3>Express Constraints</h3>
<div class="span12">
<strong>preview:</strong>
<span class="preview"></span>
</div>
<div class="expression span12">
<div class="span5">
<div class="expression-unit entity-begin"></div>
</div>
<div class="span2">
<div class="should"></div>
</div>
<div class="span5">
<div class="expression-unit constraints-object"></div>
<!-- <div class="timeroom"></div> where
<div class="entity-end-attr"></div>
<div class="entity-end-val"></div> -->
</div>
<div class="span12">
<button class="btn btn-primary pull-right save-button">Save Constraint</button>
</div>
</div>
</div>
<hr>
<footer>
<p></p>
</footer>
</div> <!-- /container -->
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.8.2/jquery.min.js"></script>
<script>window.jQuery || document.write('<script src="js/vendor/jquery-1.8.2.min.js"><\/script>')</script>
<script src="js/vendor/bootstrap.min.js"></script>
<script src="js/vendor/chosen.jquery.js"></script>
<script src="js/vendor/underscore-min.js"></script>
<script src="entities.json"></script>
<script src="js/options.js"></script>
<script src="js/util.js"></script>
<script src="js/cc.js"></script>
<script src="js/cc.comp.js"></script>
<script src="js/cc.expression.js"></script>
<script src="js/db.js"></script>
<script src="js/cobi.js"></script>
<script src="js/CCOps.js"></script>
<!--
<script>
var _gaq=[['_setAccount','UA-XXXXX-X'],['_trackPageview']];
(function(d,t){var g=d.createElement(t),s=d.getElementsByTagName(t)[0];
g.src=('https:'==location.protocol?'//ssl':'//www')+'.google-analytics.com/ga.js';
s.parentNode.insertBefore(g,s)}(document,'script'));
</script>
-->
</body>
</html>