f39619b3ef
doc fixes
2018-04-23 14:34:52 +01:00
cc6eca6903
jupyter
2018-03-17 10:38:56 +00:00
22837d498b
improve signal handling.
2017-07-24 18:17:51 +01:00
d37e198c12
signals
...
doc support
2016-11-23 22:35:39 -06:00
02e0e50915
Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3
2016-11-02 00:16:36 -05:00
d082af605d
less invasive error handling
2016-10-19 22:44:59 -05:00
8f72db3b56
fixes
2016-10-19 22:38:17 -05:00
a4fa6c5b4b
typing
2016-08-07 09:48:50 -05:00
9b3bbf5e33
android
2016-07-31 09:54:43 -05:00
99b3d0db99
android
2016-06-03 17:05:18 +01:00
445a7f33c1
ANDROID doesn't ;like signals..
2016-04-22 18:21:45 +01:00
71f0076ed6
signed wchar
2016-04-05 02:53:39 +01:00
2192f73b11
make it compile under MSN vc. Unfortunately it has a weird crash at boot :(
...
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
2016-02-28 19:32:55 +00:00
06a2caf7a9
init fields
...
lots of docs, boolean -> booleanFlag
2016-01-31 10:39:15 +00:00
15404b3835
small
...
- do not call goal expansion on meta-calls (that is done by undef).
- docs updates
- fix init code
2015-12-15 09:28:43 +00:00
6cc1ed77ed
the big split: break sysbits.c into 4 files; also, support glob
2015-11-05 15:47:36 +00:00
Vitor Santos Costa
vscosta