Merge Requests · Cloogle / cloogle.org

Scrolling; Fixes scrolling issue in source and coumentation view

!152 · opened Nov 10, 2017 by Camil Staps bug frontend
- MERGED
- 0
updated Nov 10, 2017
Indexing documentation

!116 · opened May 29, 2017 by Camil Staps backend enhancement frontend
- MERGED
- 1
updated May 30, 2017
Use fromMaybe instead of an if in SimpleTCPServer.icl

!159 · opened Dec 04, 2017 by Camil Staps backend enhancement
- MERGED
- 0
updated Dec 04, 2017
Remove Gast's explicit clone which fixes #122

!124 · opened Sep 03, 2017 by Camil Staps
- MERGED
- 0
updated Sep 03, 2017
Search syntax 10 of 25 tasks completed

!136 · opened Sep 28, 2017 by Camil Staps backend enhancement frontend
- MERGED
- 0
updated May 24, 2018
Change title in library browser

!133 · opened Sep 20, 2017 by Camil Staps enhancement frontend
- MERGED
- 0
updated Sep 20, 2017
Resolve #105 (sharing library browser) and change share UI

!109 · opened Mar 25, 2017 by Camil Staps enhancement frontend
- MERGED
- 4
updated Mar 30, 2017
Websocketd stats backend

!108 · opened Mar 25, 2017 by Camil Staps backend enhancement frontend
- MERGED
- 0
updated Mar 25, 2017
New logo and layout changes

!102 · opened Mar 21, 2017 by Camil Staps enhancement frontend
- MERGED
- 8
updated Mar 23, 2017
Consider type synonyms in unification

!99 · opened Mar 09, 2017 by Camil Staps backend enhancement
- MERGED
- 1
updated Mar 12, 2017
Update libraries to latest nightly

!84 · opened Feb 20, 2017 by Camil Staps
- MERGED
- 3
updated Feb 20, 2017
Standardize file encoding, fixes #94

!98 · opened Mar 05, 2017 by Camil Staps
- MERGED
- 0
updated Mar 05, 2017
Fix iTasks and add Gast

!85 · opened Feb 22, 2017 by Camil Staps
- MERGED
- 1
updated Feb 22, 2017
Clean frontend

!93 · opened Mar 01, 2017 by Camil Staps enhancement frontend
- MERGED
- 3
updated Mar 02, 2017
Library browser

!97 · opened Mar 02, 2017 by Camil Staps enhancement frontend
- MERGED
- 6
updated Mar 02, 2017
fix view.php for unicode

!82 · opened Feb 13, 2017 by Camil Staps
- MERGED
- 0
updated Feb 13, 2017
Fix rare checkbox error

!70 · opened Jan 25, 2017 by Camil Staps
- MERGED
- 1
updated Jan 25, 2017
WIP: Make the pygments formatter output clickable

!75 · opened Feb 01, 2017 by Camil Staps help wanted
- MERGED
- 2
updated Feb 01, 2017
Add CleanSerial and add readme section on how to

!83 · opened Feb 13, 2017 by Camil Staps
- MERGED
- 0
updated Feb 13, 2017
Caching support

!57 · opened Oct 19, 2016 by Camil Staps
- MERGED
- 0
updated Oct 19, 2016