Der neue Dienst "GitLab am KIT" ist unter
gitlab.kit.edu
erreichbar.
Skip to content
GitLab
Explore
Sign in
sarah.grebing
ProofScriptParser
Repository
Branches
Overview
Active
Stale
All
report
88ec938b
·
pages test
·
May 16, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wglgui
6045381c
·
try to add error messages
·
May 28, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
docking
ca4ce23b
·
docking framework seems good
·
Jul 08, 2017
!3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
xpathexploration
eac438df
·
my schema grammar
·
Jul 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
functions
eba27a98
·
functions in progress
·
Aug 29, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
masterDev
77f055d3
·
bugfix-Idea
·
Oct 05, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extendedState
c99acc9f
·
Bugfix: matching expressions over state variables was not working
·
Nov 01, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
weigl-sync
4ed3bd10
·
better status bar
·
Nov 03, 2017
!4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
LuluSequentMatcher2
655f5937
·
View of Matching results of Sequentmatcher changed
·
Jan 21, 2018
!7
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
masterToMerge
03be4306
·
minor bugfix concerning services
·
Jan 31, 2018
!9
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fmVersionToApplyPatch
da250c6d
·
Bugfix repeat
·
Feb 03, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
luluOpenGoals
96b8eeca
·
Sortskript of Quicksort
·
Feb 07, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
TacletMenu_printParam
29c7304c
·
Show Parameter implemented
·
Feb 11, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cherry-pick-28c13f04
6781c6c7
·
Now copy to clipboard contains parsable string
·
Feb 13, 2018
!11
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cinew
ac0b06c0
·
ci script
·
Feb 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fmVersion
f34c52eb
·
restore mvn ci
·
Feb 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gradle
0422f647
·
Lulus Bugfix
·
Feb 15, 2018
!13
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-underscore
57895aa9
·
fix for underscore in ids
·
Feb 16, 2018
!14
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Lulu_BA
ec5302fd
·
Revert "logo"
·
Apr 15, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
matcherReImplementation
59023b9d
·
minor
·
Apr 27, 2018
!15
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next