0000000000000000000000000000000000000000 2ea920760aeb4670d695b10ba4a6bfdb21290a60 Yasuaki Honda <yasuaki.honda@gmail.com> 1396777458 +0900	clone: from https://github.com/YasuakiHonda/qepmax.git
2ea920760aeb4670d695b10ba4a6bfdb21290a60 8cc6dc1ae8db9d168c1e3fe5be6b2c51c97c22db Yasuaki Honda <yasuaki.honda@gmail.com> 1396777685 +0900	commit: initial commit
8cc6dc1ae8db9d168c1e3fe5be6b2c51c97c22db 8134c5b41abb64074f3f31153d52d6563e77af8b Yasuaki Honda <yasuaki.honda@gmail.com> 1396784412 +0900	commit: add explanation of qepmax package
8134c5b41abb64074f3f31153d52d6563e77af8b d603544013fc01e101a5fe0b9fef5be9c1159ff7 Yasuaki Honda <yasuaki.honda@gmail.com> 1396785085 +0900	commit: qepmax-master.zip instead of qepmax.zip
d603544013fc01e101a5fe0b9fef5be9c1159ff7 ff0d59780f4b4c64dd24bfb5532c3ffbc900774f Yasuaki Honda <yasuaki.honda@gmail.com> 1396876922 +0900	pull: Fast-forward
ff0d59780f4b4c64dd24bfb5532c3ffbc900774f cd84c17548dd221714d4b567dddeb54400995517 Yasuaki Honda <yasuaki.honda@gmail.com> 1396879937 +0900	commit: option +N can be changed dynamically using variable qepcad_otion_N
cd84c17548dd221714d4b567dddeb54400995517 bdd4fda5dbedb8a25471dd08895bab5cab5b7fb8 Yasuaki Honda <yasuaki.honda@gmail.com> 1397867920 +0900	merge moa-version: Fast-forward
bdd4fda5dbedb8a25471dd08895bab5cab5b7fb8 3bf70087d0d1d23d7d8877771a518ff3f2c66511 Yasuaki Honda <yasuaki.honda@gmail.com> 1397867976 +0900	pull: Merge made by the 'recursive' strategy.
3bf70087d0d1d23d7d8877771a518ff3f2c66511 cc4d543a834f7cd26cf3dce69e594d127d3677a2 Yasuaki Honda <yasuaki.honda@gmail.com> 1398694230 +0900	commit: Digit characters are now allowed in variable names, such as x1, x2.
cc4d543a834f7cd26cf3dce69e594d127d3677a2 e00998ffd9ab34b1f55681fd9019a646bdf6d477 Yasuaki Honda <yasuaki.honda@gmail.com> 1398696033 +0900	commit: Modified not to show any errors or warnings on multiple loading
e00998ffd9ab34b1f55681fd9019a646bdf6d477 d278d4267616e6956039e9ba5b53c359d6c4845d Yasuaki Honda <yasuaki.honda@gmail.com> 1399083296 +0900	commit: toimplx.mac is contributed by ehito san.
d278d4267616e6956039e9ba5b53c359d6c4845d 2d71bdd788bb2d513597ef216a2bb6e872c8870b Yasuaki Honda <yasuaki.honda@gmail.com> 1399083937 +0900	commit: Minor fix in the explanation of toimplx(x).
2d71bdd788bb2d513597ef216a2bb6e872c8870b f94bf1d5ce62e823ac74cbdd91139b59f72fc41d Yasuaki Honda <yasuaki.honda@gmail.com> 1399212341 +0900	commit: Double negation negneg supported in toimplx.mac.
f94bf1d5ce62e823ac74cbdd91139b59f72fc41d 0843e35166ea34d270dfcfe14bda7f2bc0607004 Yasuaki Honda <yasuaki.honda@gmail.com> 1399468540 +0900	commit: Inner A,E quantifier support
0843e35166ea34d270dfcfe14bda7f2bc0607004 a313ec19e705cdf52ad207acd22f78de1580787b Yasuaki Honda <yasuaki.honda@gmail.com> 1399558891 +0900	merge update-toimplex: Fast-forward
a313ec19e705cdf52ad207acd22f78de1580787b ed021b3ac295f327329a8ce388641ef634f7b041 Yasuaki Honda <yasuaki.honda@gmail.com> 1399559142 +0900	commit: rule number 41 to 40
ed021b3ac295f327329a8ce388641ef634f7b041 654522370910e6d0f403cb0f901db20ee7bd1dbb Yasuaki Honda <yasuaki.honda@gmail.com> 1399704719 +0900	commit: Calc of number of free variables was wrong and now fixed.
654522370910e6d0f403cb0f901db20ee7bd1dbb bccb0d86ea931cac8357c97da67b0a67a677e976 Yasuaki Honda <yasuaki.honda@gmail.com> 1399734912 +0900	commit: use of ratsimpx2.mac
bccb0d86ea931cac8357c97da67b0a67a677e976 43f7b9df8accdf2195cab1ae5eba65c8c41853cb Yasuaki Honda <yasuaki.honda@gmail.com> 1400083071 +0900	merge nzden: Fast-forward
43f7b9df8accdf2195cab1ae5eba65c8c41853cb 34fc00d39b39a93e453c3301fdf2a5ed8c53b2b5 Yasuaki Honda <yasuaki.honda@gmail.com> 1400422831 +0900	merge texi: Merge made by the 'recursive' strategy.
34fc00d39b39a93e453c3301fdf2a5ed8c53b2b5 81e206bef3c548cb90899782b40370b5257780f0 Yasuaki Honda <yasuaki.honda@gmail.com> 1400422964 +0900	merge manual: Merge made by the 'recursive' strategy.
81e206bef3c548cb90899782b40370b5257780f0 452c62cf10c31ed1effea3e1267bd743ce8aeb09 Yasuaki Honda <yasuaki.honda@gmail.com> 1400423272 +0900	pull: Fast-forward
452c62cf10c31ed1effea3e1267bd743ce8aeb09 a23af50f23c0c3a2945e44b1e4432844158c9253 Yasuaki Honda <yasuaki.honda@gmail.com> 1401000844 +0900	commit: No more special treatment on Maxima on Android in qepmax.mac.
a23af50f23c0c3a2945e44b1e4432844158c9253 5582cab465ae49b4faf6477bc78bf2e40bb250cd Yasuaki Honda <yasuaki.honda@gmail.com> 1401808018 +0900	pull: Fast-forward
5582cab465ae49b4faf6477bc78bf2e40bb250cd f45cc359467ffd94ae2468bbc4fd6667cdc7dc4a Yasuaki Honda <yasuaki.honda@gmail.com> 1401808372 +0900	commit: sh is reverted back to bash.
f45cc359467ffd94ae2468bbc4fd6667cdc7dc4a e5d83f10f04790218d47b173b0e3f58227558253 Yasuaki Honda <yasuaki.honda@gmail.com> 1406129235 +0900	commit: Extended Tarski Formula is now supported.
e5d83f10f04790218d47b173b0e3f58227558253 e5b3e90493fdbfa56a6a3d2756dac4a011bedfa1 Yasuaki Honda <yasuaki.honda@gmail.com> 1406387985 +0900	commit: bugs of var ordering,
e5b3e90493fdbfa56a6a3d2756dac4a011bedfa1 7f9e6bb33d1acbf57998cecb2a2bed2bda14728e Yasuaki Honda <yasuaki.honda@gmail.com> 1406389941 +0900	commit: now multiplication works
7f9e6bb33d1acbf57998cecb2a2bed2bda14728e 06172564b0fb926efe556be8ec127f537ed928b5 Yasuaki Honda <yasuaki.honda@gmail.com> 1406451600 +0900	commit: Docs is updated for Extended Tarski Formula
