Mercurial
Mercurial
>
hg
>
regexp
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-15
+15
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sat, 11 Feb 2012 12:29:52 +0000
spell check; release
changeset
urbanc [Sat, 11 Feb 2012 12:29:52 +0000] rev 296
spell check; release
Sat, 11 Feb 2012 10:09:39 +0000
fixed problem with back
changeset
urbanc [Sat, 11 Feb 2012 10:09:39 +0000] rev 295
fixed problem with back
Sat, 11 Feb 2012 09:34:46 +0000
renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
changeset
urbanc [Sat, 11 Feb 2012 09:34:46 +0000] rev 294
renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
Sat, 11 Feb 2012 09:14:14 +0000
some polishing
changeset
urbanc [Sat, 11 Feb 2012 09:14:14 +0000] rev 293
some polishing
Sat, 11 Feb 2012 08:16:11 +0000
fixed problem with Latexsugar
changeset
urbanc [Sat, 11 Feb 2012 08:16:11 +0000] rev 292
fixed problem with Latexsugar
Fri, 10 Feb 2012 21:01:03 +0000
more on paper; modified schs functions; it is still compatible with the old definition
changeset
urbanc [Fri, 10 Feb 2012 21:01:03 +0000] rev 291
more on paper; modified schs functions; it is still compatible with the old definition
Fri, 10 Feb 2012 11:30:47 +0000
more on paper
changeset
urbanc [Fri, 10 Feb 2012 11:30:47 +0000] rev 290
more on paper
Thu, 09 Feb 2012 16:34:18 +0000
attempt to fix problem by Xingyuan
changeset
urbanc [Thu, 09 Feb 2012 16:34:18 +0000] rev 289
attempt to fix problem by Xingyuan
Thu, 09 Feb 2012 15:00:19 +0000
changes by Xingyuan
changeset
urbanc [Thu, 09 Feb 2012 15:00:19 +0000] rev 288
changes by Xingyuan
Thu, 09 Feb 2012 13:05:51 +0000
more on the specification section
changeset
urbanc [Thu, 09 Feb 2012 13:05:51 +0000] rev 287
more on the specification section
Wed, 08 Feb 2012 16:35:49 +0000
corrections by Xingyuan
changeset
urbanc [Wed, 08 Feb 2012 16:35:49 +0000] rev 286
corrections by Xingyuan
Tue, 07 Feb 2012 01:10:34 +0000
more on paper
changeset
urbanc [Tue, 07 Feb 2012 01:10:34 +0000] rev 285
more on paper
Tue, 07 Feb 2012 00:50:23 +0000
more on paper
changeset
urbanc [Tue, 07 Feb 2012 00:50:23 +0000] rev 284
more on paper
Mon, 06 Feb 2012 12:08:35 +0000
paper updatated
changeset
urbanc [Mon, 06 Feb 2012 12:08:35 +0000] rev 283
paper updatated
Sun, 05 Feb 2012 21:00:12 +0000
moved unused theories to Attic
changeset
urbanc [Sun, 05 Feb 2012 21:00:12 +0000] rev 282
moved unused theories to Attic
(0)
-100
-15
+15
tip