http://wikihub.org/wiki/coq ja Copyright 2009 nequal +0900 remote: Compressing objects: 33% (1/3)
remote: Compressing objects: 66% (2/3)
remote: Compressing objects: 100% (3/3)
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 1), reused 0 (delta 0)
From git://github.com/mzp/coq
4a89acb..9bb73a0 master -> origin/master
Updating 4a89acb..9bb73a0
Fast forward
gallina.txt | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 files changed, 56 insertions(+), 0 deletions(-)
create mode 100644 gallina.txt ]]> http://wikihub.org/wiki/coq#204 http://wikihub.org/wiki/coq#204 土, 31 10月 2009 08:20:02+0900 remote: Compressing objects: 33% (1/3)
remote: Compressing objects: 66% (2/3)
remote: Compressing objects: 100% (3/3)
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 2), reused 0 (delta 0)
From git://github.com/mzp/coq
023ea14..4a89acb master -> origin/master
Updating 023ea14..4a89acb
Fast forward
tactics.txt | 272 ++++++++++++++++++++++++++++++++++-------------------------
1 files changed, 157 insertions(+), 115 deletions(-) ]]> http://wikihub.org/wiki/coq#203 http://wikihub.org/wiki/coq#203 金, 30 10月 2009 22:05:01+0900 remote: Compressing objects: 33% (1/3)
remote: Compressing objects: 66% (2/3)
remote: Compressing objects: 100% (3/3)
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 2), reused 0 (delta 0)
From git://github.com/mzp/coq
6837790..023ea14 master -> origin/master
Updating 6837790..023ea14
Fast forward
tactics.txt | 13 +++++++++++++
1 files changed, 13 insertions(+), 0 deletions(-) ]]> http://wikihub.org/wiki/coq#198 http://wikihub.org/wiki/coq#198 日, 25 10月 2009 22:24:01+0900 remote: Compressing objects: 33% (1/3)
remote: Compressing objects: 66% (2/3)
remote: Compressing objects: 100% (3/3)
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 2), reused 0 (delta 0)
From git://github.com/mzp/coq
4cbb71a..6837790 master -> origin/master
Updating 4cbb71a..6837790
Fast forward
README | 6 ++++--
1 files changed, 4 insertions(+), 2 deletions(-) ]]> http://wikihub.org/wiki/coq#197 http://wikihub.org/wiki/coq#197 日, 25 10月 2009 12:30:02+0900 remote: Compressing objects: 33% (1/3)
remote: Compressing objects: 66% (2/3)
remote: Compressing objects: 100% (3/3)
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 2), reused 0 (delta 0)
From git://github.com/mzp/coq
60061e1..4cbb71a master -> origin/master
Updating 60061e1..4cbb71a
Fast forward
README | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-) ]]> http://wikihub.org/wiki/coq#196 http://wikihub.org/wiki/coq#196 日, 25 10月 2009 12:28:01+0900 remote: Compressing objects: 33% (1/3)
remote: Compressing objects: 66% (2/3)
remote: Compressing objects: 100% (3/3)
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 2), reused 0 (delta 0)
From git://github.com/mzp/coq
81fd1e2..60061e1 master -> origin/master
Updating 81fd1e2..60061e1
Fast forward
README | 6 ++----
1 files changed, 2 insertions(+), 4 deletions(-) ]]> http://wikihub.org/wiki/coq#195 http://wikihub.org/wiki/coq#195 日, 25 10月 2009 12:16:01+0900 remote: Compressing objects: 33% (1/3)
remote: Compressing objects: 66% (2/3)
remote: Compressing objects: 100% (3/3)
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 2), reused 0 (delta 0)
From git://github.com/mzp/coq
c36a20b..81fd1e2 master -> origin/master
Updating c36a20b..81fd1e2
Fast forward
README | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-) ]]> http://wikihub.org/wiki/coq#194 http://wikihub.org/wiki/coq#194 日, 25 10月 2009 11:59:02+0900 remote: Compressing objects: 25% (1/4)
remote: Compressing objects: 50% (2/4)
remote: Compressing objects: 75% (3/4)
remote: Compressing objects: 100% (4/4)
remote: Compressing objects: 100% (4/4), done.
remote: Total 4 (delta 3), reused 0 (delta 0)
From git://github.com/mzp/coq
469a3fd..c36a20b master -> origin/master
Updating 469a3fd..c36a20b
Fast forward
README | 4 +++
tactics.txt | 66 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
2 files changed, 70 insertions(+), 0 deletions(-) ]]> http://wikihub.org/wiki/coq#193 http://wikihub.org/wiki/coq#193 日, 25 10月 2009 09:52:01+0900 remote: Compressing objects: 25% (1/4)
remote: Compressing objects: 50% (2/4)
remote: Compressing objects: 75% (3/4)
remote: Compressing objects: 100% (4/4)
remote: Compressing objects: 100% (4/4), done.
remote: Total 5 (delta 0), reused 0 (delta 0)
From git://github.com/mzp/coq
9ebb1ea..469a3fd master -> origin/master
Updating 9ebb1ea..469a3fd
Fast forward
.gitignore | 1 +
command.txt | 97 +++++++++++++++++++++++++++++++++++++
tactics.txt | 155 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
3 files changed, 253 insertions(+), 0 deletions(-)
create mode 100644 .gitignore
create mode 100644 command.txt
create mode 100644 tactics.txt ]]> http://wikihub.org/wiki/coq#192 http://wikihub.org/wiki/coq#192 土, 24 10月 2009 15:57:02+0900 http://wikihub.org/wiki/coq#191 http://wikihub.org/wiki/coq#191 土, 24 10月 2009 15:27:01+0900 remote: Compressing objects: 50% (1/2)
remote: Compressing objects: 100% (2/2)
remote: Compressing objects: 100% (2/2), done.
remote: Total 3 (delta 0), reused 0 (delta 0)
From git://github.com/mzp/coq
5f07d02..9ebb1ea master -> origin/master
Updating 5f07d02..9ebb1ea
Fast forward
README | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-) ]]> http://wikihub.org/wiki/coq#190 http://wikihub.org/wiki/coq#190 土, 24 10月 2009 15:26:01+0900 http://wikihub.org/wiki/coq#189 http://wikihub.org/wiki/coq#189 土, 24 10月 2009 15:19:01+0900 http://wikihub.org/wiki/coq#188 http://wikihub.org/wiki/coq#188 土, 24 10月 2009 15:18:02+0900