1. f7c7cde gui/html: Various improvements, including embedded context menu by Alexander Afanasyev · 12 years ago[Renamed (98%) from gui/html/style.css]
  2. 3c95c85 gui/html: Now files/action browsing is complete by Alexander Afanasyev · 12 years ago
  3. c15e016 Small gui fixes by Alexander Afanasyev · 12 years ago
  4. f63a514 More extensive implementation of history browsing + integration with GUI by Alexander Afanasyev · 12 years ago
  5. 46bd806 More work on GUI by Alexander Afanasyev · 12 years ago
  6. fd5e627 First semi-working html+javascript code by Alexander Afanasyev · 12 years ago
  7. 5c2475b check by Zhenkai Zhu · 12 years ago